swrl公司 32篇文献引用(2005–2022) 软件作者： Horrocks，I.、Patel-Schneider，P.F.、Boley，H.、Tabet，S.、Grosof，B.、Dean，M。 相关软件： 颗粒；FaCT++；SPARQL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
阿斯毫升 45篇文献引用(2001–2023) 软件作者： 微软研究院；格里斯坎普，W。；古雷维奇·Y。 相关软件： 毫升；SpecExplorer；科拉特… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
PNML公司 30篇文献引用(1992–2022) 软件作者： 希拉，L.M。；Kordon，F。；佩特鲁奇。；Trèves，N。 相关软件： 沃夫兰；设计/CPN；CPN/工具… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
SMIL公司 10篇文献引用（2001年至2016年） 软件作者： W3.org网站 相关软件： XPath；Lua；SPARQL… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；数学教育（97-XX）
DAML+油 34份文件引用(2002–2009) 软件作者： 伊恩·霍洛克斯 相关软件： WordNet；swrl；三重… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
CellML手机 17篇文献引用(2001–2021) 软件作者： 沃伦·赫德利。；梅兰妮·纳尔逊（Melanie R.Nelson）。；Bullivant，David P。；尼尔森，Poul F。 相关软件： 贞洁；日晷；COPASI… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
打开AD/F 23篇文献引用(2007–2022) 软件作者： Jean Utke；乌韦·诺曼；费根，迈克；内森·塔伦特；米歇尔·米尔斯（Michelle Mills），斯特劳特（Strout）；帕特里克·亨巴赫（Patrick Heimbach）；克里斯·希尔（Chris Hill）；卡尔·温施 相关软件： 锥体；ADIFR；ADOL-C… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
放松NG 18篇文献引用(2003–2018) 软件作者： J.Clark，M.Murata 相关软件： XPath；PERL；XSugar… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）
GXL公司 10篇文献引用(2002–2020) 软件作者： 理查德·霍尔特。；安迪·舒尔（Andy Schürr）；Sim，Susan Elliott；安德烈亚斯·温特 相关软件： 进度；AGG；凹槽… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
洛尔 6篇文献引用(2002–2010) 软件作者： McHugh J、Abiteboul S、Goldman R、Quass D、Widom J。 相关软件： XPath；XQuery；ViST… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
eXist公司 7份文件引用(2003–2017) 软件作者： 沃尔夫冈·迈尔 相关软件： XPath；XQuery；Globus工具包… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；生物学和其他自然科学（92-XX）
图拉法勒 12份文件引用(2004–2012) 软件作者： 卡尔蒂基扬·巴尔干；Fornet，塞德里克；安德鲁·戈登（Andrew D.Gordon）。；里卡多·普切拉 相关软件： Spi2Java；ProVerify；AVISPA… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
XIRQL公司 2份文件引用(2009–2012) 软件作者： 诺伯特·福尔（Norbert Fuhr），凯·格罗·约翰尼（Kai Großjohann） 相关软件： XSEarch；XPath；XQuery… 主要字段： 计算机科学（68-XX）
OSiL公司 10篇文献引用(2005–2022) 软件作者： 罗伯特·福勒；马军；基普·马丁 相关软件： AMPL；GAMS；LINDO… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿克拉 10篇文献引用（2005年至2011年） 软件作者： 乔瓦尼·佩祖洛（Giovanni Pezzulo）；Gianguglielmo·卡尔维 相关软件： 古巴国防部；CoCoA公司；黛安娜… 主要字段： 总体主题；藏品（00-XX）；数论（11-XX）；场论与多项式（12-XX）…
数学多克斯 10篇文献引用(2006–2014) 软件作者： A.M.Cohen、H.Cuypers、E.Reinaldo Barreiro 相关软件： 动态数学；LeActiveMath；OMDoc… 主要字段： 几何（51-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
RK病房 2份文件引用(2010–2012) 软件作者： Stefan Rödiger、Thomas Friedrichsmeier、Prasenjit Kapat、Meik Michalke 相关软件： R；Rcmdr；除尘器… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
取消QL 10篇文献引用(2006–2018) 软件作者： 彼得·布内曼（Peter Buneman）、玛丽·费尔南德斯（Mary Fernandez）、丹·苏西乌（Dan Suciu） 相关软件： XPath；XQuery；X推出… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
维基百科矿工 4份文件引用(2012–2019) 软件作者： 大卫·米尔恩（David Milne）；伊恩·维滕 相关软件： DBpedia；曼陀罗；BabelNet… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
XPERANTO公司 4份文件引用(2005–2010) 软件作者： M.J.Carey、D.Florescu、Z.G.Ives、Y.Lu、J.Shanmugasundaram、E.J.Shekita、S.N.Subramanian 相关软件： DB2；神谕；XQuery… 主要字段： 计算机科学（68-XX）
POEM公司 8份文件引用(2006–2022) 软件作者： 普罗旺斯大学；彼得·尼伯特（Peter Niebert）；曲洪阳 相关软件： Uppaal；自旋蛋白；IF-2.0… 主要字段： 计算机科学（68-XX）
Qbox公司 5份文件引用(2010–2019) 软件作者： F.吉吉 相关软件： 量子浓缩咖啡；蟒蛇；西北化工… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；量子理论（81-XX）…
ToXgene公司 4份文件引用(2011–2019) 软件作者： Barbosa，D.，Mendelzon，A.O.，Keenleyside，J.，Lyons，K.A。 相关软件： X标记；漏洞；Matlab… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
图形XML 5份文件引用(2001–2009) 软件作者： 伊凡·赫尔曼；马歇尔·M·斯科特 相关软件： 进度；GXL；鬃毛… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）
预测模型标记语言 3份文件引用(2011–2016) 软件作者： 格雷厄姆·威廉姆斯（Graham Williams）、特里迪夫·耶拿（Tridevh Jena）、温庆林（Wen Ching Lin）、迈克尔·哈斯勒（arules）、Zementis Inc、赫曼特·伊斯瓦兰（Hemant Ishwaran）、乌达亚·科加卢（Udaya B.Kogalur）、拉贾什·古哈（Rajarshi Gu 相关软件： github；R；Apache Spark… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
糖J 2份文件引用(2015–2020) 软件作者： Erdweg，S.、Rendel，T.、Kastner，C.、Ostermann，K。 相关软件： 孢子虫；JastAdd；Twelf… 主要字段： 计算机科学（68-XX）
油炸食品 2份文件引用(2021–2022) 软件作者： 拉拉·里扎；克里斯托弗·伯格梅尔；弗朗西斯科·埃雷拉；何塞·贝尼特斯 相关软件： R；fugeR；模糊R… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）
HepML公司 2份文件引用(2010–2013) 软件作者： 贝洛夫，S。；杜德科，L。；Kekelidze，D。；A.谢尔斯特涅夫。 相关软件： 利庚醇；MadEvent；HELAC… 主要字段： 量子理论（81-XX）；统计力学，物质结构（82-XX）
JSBML公司 3份文件引用(2012–2021) 软件作者： Dräger，A.，Rodriguez，N.，Dumousseau，M.，Dörr，A.，Wrzodek，C.，Novère，N.L.，Zell，A.，Hucka，M。 相关软件： KEGG；MetaCyc；聚乙烯… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
KSACI公司 2份文件引用(2002–2009) 软件作者： Ryan L.阿尔伯克基。；Hübner，Jomi F。；德保拉（de Paula），古斯塔沃（Gustavo E.）。；Jaime S.Sichman。；Geber L.Ramalho。 相关软件： 跳跃 主要字段： 计算机科学（68-XX）
利庚醇 2份文件引用(2010–2013) 软件作者： 贝洛夫，S。；杜德科，L。；Kekelidze，D。；A.谢尔斯特涅夫。 相关软件： HepML；疯狂事件；HELAC… 主要字段： 量子理论（81-XX）；统计力学，物质结构（82-XX）
开放式COR 3份文件引用(2020–2021) 软件作者： 阿兰·加里；彼得·亨特 相关软件： 数学ML；MATCONT；CESE… 主要字段： 生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
PiXL系列 1份文件引用(2007) 软件作者： 德尔马尔·加拉多，玛丽亚；马丁内斯，杰苏斯；佩德罗·梅里诺；巴勃罗·努涅斯；埃内斯托·皮门特尔 相关软件： 凯撒；CAESAR_SOLVE公司；班德拉… 主要字段： 计算机科学（68-XX）
SBRML公司 1份文件引用(2013) 软件作者： JO达达；斯帕西奇，I；巴顿，西北部；门德斯，P 相关软件： 虚拟细胞；KEGG；COPASI… 主要字段： 动力系统与遍历理论（37-XX）；生物学和其他自然科学（92-XX）
调试工具 3份文件引用(2020–2021) 软件作者： Tikhomirov，S.等人。 相关软件： github；蓄意破坏；LLVM… 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
PDE工具 1份文件引用(2005) 软件作者： Ali Khalili；阿米尔·贾拉利·比多利；穆罕默德·阿卜杜拉希·阿兹戈米 相关软件： Matlab公司 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
RGG公司 在0个文档中引用 软件作者： Visne I、Dilaveroglu E、Vierlinger K、Lauss M、Yildiz A、Weinhaeusel A、Noehammer C、Leisch F、Kriegner A 相关软件： tcltk2；R；教学演示… 主要字段： ——
XPTO公司 2份文件引用(2011) 软件作者： 弗拉维奥·费雷拉（Flávio Ferreira）、雨果·帕切科（Hugo Pacheco） 相关软件： XPath；哈斯克尔；Stratego… 主要字段： 计算机科学（68-XX）
ASDeX公司 1份文件引用（2018年） 软件作者： 马明宇（Mingyu Ma）、拉尔斯·赫德里奇（Lars Hedrich）、克里斯汀·斯波勒（Christian Sporrer） 相关软件： MiniSat；通过；AMT… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
FAIMS移动 在0个文档中引用 软件作者： Brian Ballsun-Stanton、Shawn A.Ross、Adela Sobotkova、Penny Crook 相关软件： KoBo工具箱 主要字段： ——
基因环绕 1份文件引用(2002) 软件作者： Junko Tanoue；Noboru的Matoba；吉川，Masatoshi；顺介Uemura 相关软件： —— 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
KeLP公司 在0个文档中引用 软件作者： 西蒙·菲利斯；朱塞佩·卡斯特卢奇；乔瓦尼·达圣马蒂诺；亚历山德罗·莫希蒂；Danilo Croce；罗伯托·巴西利 相关软件： JKernelmachines；Scikit；JMLR MLOSS… 主要字段： ——
NFB标签 1份文件引用(2021) 软件作者： 斯梅塔宁、N.、Volkova、K.、Zabodaev、S.、Lebedev、M.、Ossadtchi、A 相关软件： 传奇；MNE；头脑风暴… 主要字段： 生物学和其他自然科学（92-XX）
SISCO公司 1份文件引用(2017) 软件作者： 查特菲尔德，哥伦比亚特区。；哈里森，T.P。；J.C.海亚 相关软件： 范围；NetLogo；DYNAMO公司 主要字段： 运筹学、数学规划（90-XX）
XRL公司 1份文件引用(2002) 软件作者： 佩雷斯，胡安·曼努埃尔；Maria JoséAramburu；拉斐尔·贝兰加 相关软件： YAXQL；XPath（XPath） 主要字段： 计算机科学（68-XX）