×

找到11个软件包(结果1-11)

Wolfram功能站点

引用于42份文件(2007–2023)
软件作者: Wolfram研究公司。
相关软件: DLMF;Mathematica;仲裁…
主要字段: 数论(11-XX);特殊功能(33-XX);数值分析(65-XX)…

XS搜索

6篇文献引用(2009–2018)
软件作者: Cohen S、Mamou J、Kanza Y、Sagiv Y。
相关软件: XPath;XIRQL;XQuery…
主要字段: 计算机科学(68-XX)

质量管理团队

22篇文献引用(2012–2022)
软件作者: 弗洛里安·拉贝
相关软件: MMT;米扎尔;伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

HARP(HARP)

15篇文献引用(1990–2020)
软件作者: Opacher,F。;苏恩,E
相关软件: SETHEO公司;TPTP;3TAP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

Swoogle标志

2份文件引用(2011)
软件作者: Ding,L.,Finin,T.,Joshi,A.,Pan,R.,Cost,R.S.,Peng,Y.,Reddivari,P.,Doshi,V.C.,Sachs,J。
相关软件: WordNet;SPARQL;DBpedia…
主要字段: 计算机科学(68-XX)

自我数学

4份文件引用(2011–2014)
软件作者: 乔泽夫·米什尤特卡;利奥·加兰博什
相关软件: 数学溢出;索尔;数学ML…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

MSRA-MM公司

2份文件引用(2021–2022)
软件作者: Li,H.,Wang,M.,Hua,X.S。
相关软件: apcluster;APCluster;FRIP…
主要字段: 统计学(62-XX);运筹学、数学规划(90-XX)

X列表

1份文件引用(2017)
软件作者: 高宁;邓志宏;吕胜龙
相关软件: XQuery;XPath路径
主要字段: 计算机科学(68-XX)

CXL发动机

在0个文档中引用
软件作者: 卡马尔·塔哈;埃尔玛斯里
相关软件: XPath;函数
主要字段:

FICW公司

1份文件引用(2006)
软件作者: 周冲;陆燕生;邹磊;胡荣
相关软件:
主要字段: 计算机科学(68-XX)

梅丽莎

1份文件引用(2001年)
软件作者: 哈尔·布莱恩(Hal D.Brian)。;加松,马克斯·H。
相关软件:
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件