ETPS公司 162篇文献引用(1986–2022) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning）、习宏伟（Hongwei Xi） 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
口齿不清 114篇文献引用(1960–2023) 软件作者： 约翰·麦卡锡 相关软件： ACL2；NQTHM；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
列表-统计 88篇文献引用(1977–2019) 软件作者： 卢克·蒂尔尼 相关软件： R；远景；XGobi… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
赛车手 53篇文献引用(2001–2022) 软件作者： Volker Haarslev、Kay Hidde、Ralf Möller、Michael Wessel 相关软件： FaCT++；颗粒；KL-ONE… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
CLOS公司 51篇文献引用(1989–2022) 软件作者： Praehofer，H。；奥尔尼，F。；G.赖辛格。 相关软件： 艾菲尔铁塔；Smalltalk；轻量级Java… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
UCPOP公司 40篇文献引用（1993年至2022年） 软件作者： 彭伯蒂，J.S。；焊接，D。 相关软件： 图形平面图；神童；PDDL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
libSBML（库SBML） 6篇文献引用(2009–2022) 软件作者： B.J.Bornstein、S.M.Keating、A.Jouraku、M.Hucka 相关软件： COPASI；SimpleSBML；Python… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
STAR/MPI公司 在11份文件中引用(1995–2007) 软件作者： 吉恩·库珀曼 相关软件： 间隙；MeatExe；ATLAS集团代表… 主要字段： 群论与推广（20-XX）；数值分析（65-XX）；计算机科学（68-XX）
甘尼思 9份文件引用(1990–1997) 软件作者： Chanderjit Bajaj；安德鲁·罗亚帕 相关软件： 家；EISPACK；LAPACK… 主要字段： 代数几何（14-XX）；实函数（26-XX）；近似和展开（41-XX）…
OpenMusic音乐 4份文件引用(2009–2015) 软件作者： 布列松，J.，阿贡，C.，阿萨雅格，G。 相关软件： 自旋蛋白；ntccSim；Ntccrt… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
SNARK（扫描） 3份文件引用(2009–2015) 软件作者： Stickel，M。 相关软件： Waldmeister；E定理证明器；生动… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；相对论和引力理论（83-XX）
博士ACuLa 2份文件引用（2007-2012） 软件作者： Dale Vaillancourt、Rex Page、Matthias Felleisen 相关软件： DrScheme；ACL2；校样板… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
FEMLISP公司 3份文件引用(2003–2011) 软件作者： 尼古拉斯·纽斯 相关软件： 无人值守地面；PLTMG；马克西玛 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MKRP公司 3份文件引用(1996–2005) 软件作者： 艾辛格，N.，Ohlbach，H.J 相关软件： 欧米茄；KEIM公司；利奥… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
Gelisp公司 1份文件引用(2017) 软件作者： 毛里西奥·托罗、卡米洛·鲁埃达、卡洛斯·阿贡、杰拉德·阿萨亚格 相关软件： 自旋蛋白；ntccSim；Ntccrt… 主要字段： 运筹学、数学规划（90-XX）
cl-接头 1份文件引用(2018) 软件作者： Utz-Uwe Haus公司 相关软件： 通量模式计算器；FK-B；efmtool… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
GOALIE公司 1份文件引用(2010) 软件作者： 马尔科·安东尼奥蒂；纳伦·拉马克里希南（Naren Ramakrishnan）；巴德·米什拉 相关软件： 美食家；阀杆；GOstat公司 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
KEIM公司 1份文件引用(2005) 软件作者： Huang，X.、Kerber，M.、Kohlhase，M.，Melis，E.、Nesmith，D.、Richts，J.、Siekmann，J。 相关软件： 欧米茄；狮子座；MKRP公司 主要字段： 计算机科学（68-XX）