毫升 516份文件引用(1978–2024) 软件作者： 罗伯特·哈珀；罗宾·米尔纳（Robin Milner）；托夫特、麦兹；爱丁堡大学 相关软件： HOL；Coq；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
ETPS公司 162篇文献引用(1986–2022) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning 相关软件： TPS；Isabelle/HOL；霍尔… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
LISP公司 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；霍尔… 主要字段： 总体主题；藏品（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）
教堂 56篇文献引用(2008–2023) 软件作者： Goodman N.、Mansinghka V.K.、Roy D.、Bonawitz K.、Tenenbaum J.B。 相关软件： 博客；IBAL；ProbLog… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；概率论与随机过程（60-XX）…
KIV公司 51篇文献引用(1988–2022) 软件作者： M.Heisel、B.Langenstein、W.Reif、G.Schellhorn、K.Stenzel、W.Stephan、A.Wolpers等人。 相关软件： Z；PVS；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
CLOS公司 51篇文献引用(1989–2022) 软件作者： Praehofer，H。；奥尔尼，F。；G.赖辛格。 相关软件： 埃菲尔；闲聊；轻量级Java… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
UCPOP公司 40篇文献引用(1993–2022) 软件作者： 彭伯蒂，J.S。；焊接，D。 相关软件： 图形平面图；神童；PDDL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
绵羊 37篇文献引用(1977–2020) 软件作者： 弗里克，我 相关软件： 枫树；减少；MapleTensor… 主要字段： 微分几何（53-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Multilisp公司 31份文件引用（1985年至2022年） 软件作者： Robert H.jun，Halstead。 相关软件： 甲酚；埃菲尔；莫德… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
SETL公司 28篇文献引用(1986–2023) 软件作者： 施瓦茨，J.T。；杜瓦，R.B.K。；杜宾斯基，E。；肖恩伯格，E。 相关软件： Z；JSetL；裁判… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；一般代数系统（08-XX）…
手指 26篇文献引用(1986–2021) 软件作者： Wang，Paul S。 相关软件： Mathematica；减少；马西玛… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ELM-ART公司 8份文件引用(2000–2011) 软件作者： 彼得·布鲁西洛夫斯基、埃尔玛·施瓦兹、格哈德·韦伯 相关软件： 动态数学；OMDoc；Ask-Elle… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
InKa公司 21篇文献引用(1990–2023) 软件作者： Serge Autexier、Susanne Biundo、Birgit Hummel、Dieter Hutter、Claus Sengler、Christoph Walther 相关软件： 蛤；牡蛎；NQTHM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
拉瓦 20篇文献引用(2011–2023) 软件作者： 玛格努斯·奥·米林（Magnus O.Myreen）。；贾里德·戴维斯 相关软件： 吉塔瓦；HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
半人马座 19份文件引用(1991–2022) 软件作者： Borras，P.、Clément，D.、Despeyroux，Th.、Incerpi，J.、Kahn，G.、Lang，B.、Pascual，V、 相关软件： K校准仪；Coq；莫德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-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）…
方案 14篇文献引用(1989–2011) 软件作者： 盖伊·L·斯蒂尔；杰拉尔德·杰伊·萨斯曼 相关软件： LISP；PVS；Lotrescheme… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
Emacs公司 15篇文献引用（1991年至2013年） 软件作者： Michael A.Schoonover。；约翰·S·鲍伊（John S.Bowie）。；威廉·R·阿诺德。 相关软件： 不及物动词；OCaml；自动… 主要字段： 总体主题；藏品（00-XX）；交换代数（13-XX）；计算机科学（68-XX）
数学实验室 14篇文献引用(1969–2005) 软件作者： 恩格曼，C。 相关软件： 减少；伊斯兰教；数学… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
星形/MPI 11份文件引用(1995–2007) 软件作者： 吉恩·库珀曼 相关软件： 间隙；MeatExe；ATLAS集团陈述… 主要字段： 群论与推广（20-XX）；数值分析（65-XX）；计算机科学（68-XX）
风险投资 8份文件引用(2016–2018) 软件作者： 维卡什·曼辛加、丹尼尔·塞尔萨姆、尤拉·佩罗夫 相关软件： 教会；斯坦；错误… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
公共回路 9份文件引用(1986–2021) 软件作者： Bobrow，D。；Kahn，K。；Kiczales，G。；Masinter，L。；Stefik先生。；Zdybel，F。 相关软件： 埃菲尔；闲聊；LISP… 主要字段： 组合数学（05-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
甘尼思 9份文件引用(1990–1997) 软件作者： Chanderjit Bajaj；安德鲁·罗亚帕 相关软件： 家；EISPACK；LAPACK… 主要字段： 代数几何（14-XX）；实函数（26-XX）；近似和扩展（41-XX）…
塞瓦 4份文件引用(1989–2002) 软件作者： N.公园；A.C.帕克 相关软件： MAHA；MIMOLA公司；森林狼… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）…
Fortran GA语言 8份文件引用(2003–2012) 软件作者： 大卫·L·卡罗尔 相关软件： SNOPT；ParEGO；CEC 05… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；粒子和系统力学（70-XX）…
超大规模集成服务提供商 6篇文献引用(1995–2011) 软件作者： Joshua D.Guttman（编辑）；Mitchell Wand（编辑） 相关软件： Coq；CTADEL公司；OCaml… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
MAHA公司 5份文件引用(1995–2007) 软件作者： A.Parker、J.Pizarro、M.Mlinar 相关软件： Sehwa；火焰；森林狼… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）…
OpenMusic音乐 4份文件引用(2009–2015) 软件作者： 布列松，J.，阿贡，C.，阿萨雅格，G。 相关软件： 自旋蛋白；ntccSim；Ntccrt… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
FLISP公司 引用于3份文件(1990–2009) 软件作者： 泽农·A·索斯诺斯基。 相关软件： FPROLOG；模糊夹 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MAGMA-部署 4份文件引用(1976–1984) 软件作者： C.蒙坦格罗；G.帕西尼；F.都灵 相关软件： LCF；Magma2；毫升 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-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）…
HOL灯QE 引用于3份文件(2018–2020) 软件作者： 雅克·卡雷特；法默，威廉·M。；帕特里克·拉斯科夫斯基 相关软件： Coq；伊德里斯；重新选择… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MKRP公司 引用于3份文件(1996–2005) 软件作者： 艾辛格，N.，Ohlbach，H.J 相关软件： 欧米茄；KEIM公司；利奥… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
PVSio公司 引用于3份文件(2007–2015) 软件作者： 塞萨尔·穆尼奥斯 相关软件： PVS；Coq；MetiTarski… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
B类 1份文件引用(2021) 软件作者： 阿图罗·梅德拉诺·索托；J.安德烈斯克里斯滕；朱利奥·科拉多·维德斯 相关软件： 汽车类；LISP-STAT；PyMix公司 主要字段： 统计学（62-XX）
Gelisp公司 1份文件引用(2017) 软件作者： 毛里西奥·托罗、卡米洛·鲁埃达、卡洛斯·阿贡、杰拉德·阿萨亚格 相关软件： 自旋蛋白；ntccSim；Ntccrt… 主要字段： 运筹学、数学规划（90-XX）
理想 2份文件引用(1990–1997) 软件作者： 约翰·S·布雷斯（John S.Breese）·桑帕特·斯里尼瓦斯（Sampath Srinivas） 相关软件： – 主要字段： 计算机科学（68-XX）
内默尔 2份文件引用(2007–2008) 软件作者： 弗罗茨瓦夫大学；Nemerle团队；莫斯卡尔，M。；斯科尔斯基，K。；奥什塔，P。 相关软件： CDuce；F#；Scala… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-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）
海波冲浪 1份文件引用(2000) 软件作者： 博格·格雷厄姆（Borg-Graham）、莱尔·J·。 相关软件： 神经元；拉力赛 主要字段： 数值分析（65-XX）；生物学和其他自然科学（92-XX）