X减少 53篇文献引用(2003–2020) 软件作者： Haruo Hosoya，Benjamin C.Pierce（本杰明·皮尔斯） 相关软件： CDuce；XPath；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
阿斯毫升 45篇文献引用(2001–2023) 软件作者： 微软研究院；格里斯坎普，W。；古雷维奇·Y。 相关软件： 毫升；SpecExplorer；科拉特… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
Jadex公司 22篇文献引用(2005–2023) 软件作者： Pokahr A.、Braubach L.、Lamersdorf W。 相关软件： 杰森；AgentSpeak；2APL… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
InterProScan公司 6篇文献引用(2009–2022) 软件作者： E.Quevillon、V.Silventoinen、S.Pillai、N.Harte、N.Mulder、R.Apweiler、R.Lopez 相关软件： 爆破；PSI-爆炸；UniProt… 主要字段： 总体主题；藏品（00-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
拉马托 在13份文件中引用(2012–2021) 软件作者： 比约恩·盖勒；奥利弗·科尔布；安东尼奥·穆尔西 相关软件： 拉马托++；天然气液化气；古罗比… 主要字段： 总体主题；藏品（00-XX）；变分法与最优控制；优化（49-XX）；流体力学（76-XX）…
拉马托++ 在13份文件中引用(2016–2021) 软件作者： 安东尼奥·莫尔西、比约恩·盖勒、奥利弗·科尔布 相关软件： 天然气液化气；拉马托；SCIP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；流体力学（76-XX）…
OSiL公司 10篇文献引用(2005–2022) 软件作者： 罗伯特·福勒；马军；基普·马丁 相关软件： AMPL；GAMS；林多… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿克拉 10篇文献引用(2005–2011) 软件作者： 乔瓦尼·佩祖洛（Giovanni Pezzulo）；Gianguglielmo·卡尔维 相关软件： CUMODP；可可；戴恩… 主要字段： 总体主题；藏品（00-XX）；数论（11-XX）；场论与多项式（12-XX）…
RKWard公司 2份文件引用（2010年至2012年） 软件作者： Stefan Rödiger、Thomas Friedrichsmeier、Prasenjit Kapat、Meik Michalke 相关软件： R；Rcmdr；除尘器… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
对象Py 在0个文档中引用 软件作者： 莫里茨·贝鲁瑟（Moritz Beyruther）、罗伯特·巴什（Robert Barsch）、利昂·克里斯彻（Lion Krischer）、托比亚斯·梅吉斯（Tobias Megies）、扬尼克·贝尔（Yannik Behr）、约阿希姆·沃瑟曼 相关软件： 蟒蛇；大熊猫；Ge0-计算… 主要字段： ——
QMCPACK（质量管理确认） 8份文件引用(2008–2022) 软件作者： J.Kim等人。 相关软件： NWChem公司；S3D军团；KKRnano… 主要字段： 总体主题；藏品（00-XX）；常微分方程（34-XX）；数值分析（65-XX）…
CLP（柔性） 7份文件引用(2007–2021) 软件作者： J.科埃略；M.弗洛里多 相关软件： 定理；Mathematica；验证日志… 主要字段： 数学逻辑与基础（03-XX）；特殊功能（33-XX）；计算机科学（68-XX）
X中心 5份文件引用（2013-2021） 软件作者： Coelho，J.、Florido，M。 相关软件： CLP（柔性）；莫德；数学… 主要字段： 数学逻辑与基础（03-XX）；特殊功能（33-XX）；计算机科学（68-XX）
FIMO公司 5份文件引用(2016–2019) 软件作者： Grant CE、Bailey TL、Noble WS 相关软件： KEGG；R；UniPROBE… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；统计学（62-XX）…
CDA矿石 4份文件引用(2011–2022) 软件作者： Brandon Chisham；恩里科·蓬泰利（Enrico Pontelli）；儿子Tran Cao；本·赖特 相关软件： aspeed；LPaaS；GHC… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
LPFML公司 4份文件引用(2005–2016) 软件作者： 罗伯特·福勒；利奥·洛佩斯；基普·马丁 相关软件： AMPL；林多；近地天体… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
糖J 2份文件引用(2015–2020) 软件作者： Erdweg，S.、Rendel，T.、Kastner，C.、Ostermann，K。 相关软件： 孢子虫；JastAdd；Twelf… 主要字段： 计算机科学（68-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）…
数学的计算机工具 3份文件引用(2018–2020) 软件作者： 安德烈·格雷纳-佩特；莫里茨·舒博茨（Moritz Schubotz）；霍华德·科尔。；吉普，贝拉 相关软件： 乳胶；dh段；Mathoid… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
调试工具 3份文件引用(2020–2021) 软件作者： Tikhomirov，S.等人。 相关软件： github；蓄意破坏；LLVM… 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
gccX前端 1份文件引用(2007) 软件作者： M.Hennessy、B.A.Malloy、J.F.Power 相关软件： muJava；TUAnalyzer；XOgastan… 主要字段： 计算机科学（68-XX）
RGG公司 在0个文档中引用 软件作者： Visne I、Dilaveroglu E、Vierlinger K、Lauss M、Yildiz A、Weinhaeusel A、Noehammer C、Leisch F、Kriegner A 相关软件： tcltk2；R；教学演示… 主要字段： ——
Xerces公司 2份文件引用(2009–2010) 软件作者： Apache软件基金会 相关软件： 甘特项目；检查样式；XMLSpy… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
KeLP公司 在0个文档中引用 软件作者： 西蒙·菲利斯；朱塞佩·卡斯特卢奇；乔瓦尼·达圣马蒂诺；亚历山德罗·莫希蒂；克罗齐，达尼洛；罗伯托·巴西利 相关软件： JKernelmachines；Scikit；JMLR MLOSS… 主要字段： ——
pdbmine公司 在0个文档中引用 软件作者： Newlyn N.Joseph、Raktim N.Roy、Thomas A.Steitz 相关软件： 节点.js；JavaScript脚本 主要字段： ——
SCRIBO公司 在0个文档中引用 软件作者： Lazzara，G.，Levillain，R.，Geraud，T.，Jacquelet，Y.，Marquegnies，J.，Crepin-Leblond，A 相关软件： AGORA；LAREX公司 主要字段： ——
智能工具 1份文件引用(2001) 软件作者： 伊莎贝尔·阿塔利；卡琳·库比斯（Carine Courbis）；德根，帕斯卡；亚历山大·福奥（Alexandre Fau）；迪迪埃·帕里戈特 相关软件： ATERM公司 主要字段： 计算机科学（68-XX）
TAO_XML_T（目标_ XML _T） 1份文件引用(2001) 软件作者： 保罗·马雷斯卡；安吉拉·古尔西奥；蒂姆·阿恩特（Tim Arndt）；帕斯夸尔·多纳迪奥 相关软件： —— 主要字段： 计算机科学（68-XX）
维也纳材料 1份文件引用(2015) 软件作者： 约瑟夫·温布布（Josef Weinbub）；马蒂亚斯·瓦斯特尔；卡尔·鲁普；弗洛里安·鲁道夫；齐格弗里德·塞尔伯赫尔 相关软件： 数字Py；pugixml；维也纳IPD… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）