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