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）…
马戏团 81份文件引用(2002–2024) 软件作者： Woodcock，J.C.P.，卡瓦尔坎蒂，A.L.C。 相关软件： Z；电源保护；Simulink… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
树 74份文件引用(1992–2023) 软件作者： Hernquist，L。；卡茨，N 相关软件： GADGET公司；MPI；双球面物理学… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
清洁 56篇文献引用(1987–2016) 软件作者： 医学博士Plasmeijer。 相关软件： 哈斯克尔；米兰达；闪光… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
GHC公司 39篇文献引用(1986–2023) 软件作者： Kazunori上田 相关软件： PARLOG；SICStus公司；Kima… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
精益CoP 40篇文献引用(2001–2023) 软件作者： 延斯·奥顿 相关软件： 依兰CoP；TPTP；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
CFTs4D型 39篇文献引用(2018–2023) 软件作者： 加布里埃尔·弗朗西斯科·库莫；丹尼斯·卡拉提耶夫；彼得·克拉夫丘克 相关软件： SDPB；JuliBootS公司；PyCFT引导… 主要字段： 拓扑群，李群（22-XX）；统计学（62-XX）；量子理论（81-XX）…
量子力学 引用于27份文件(2009–2023) 软件作者： 亚历克斯·基辛格 相关软件： 球状；PyZX；凹槽… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
伊莎贝尔/UTP 20篇文献引用(2015–2024) 软件作者： 西蒙·福斯特（Simon Foster）；Zeyda，Frank；吉姆·伍德科克 相关软件： 马戏团；Isabelle/HOL；Z、 … 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；系统论；控制（93-XX）
DLV-EX公司 16篇文献引用(2007–2021) 软件作者： 弗朗西斯科·卡利默里；苏珊娜·科萨；乔瓦姆巴蒂斯塔·伊安尼 相关软件： 克林孔；克林戈；接通DLV… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
MleanCoP公司 16篇文献引用(2014–2023) 软件作者： 延斯·奥滕 相关软件： TPTP；QMLTP；E定理证明器… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
布利克塞姆 15篇文献引用(1999–2012) 软件作者： de Nivelle，H。 相关软件： SPASS；水獭；TPTP… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）
EQP公司 13份文件引用(1997–2022) 软件作者： 威廉·麦库恩 相关软件： 水獭；Waldmeister；SPASS… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
ELPI公司 在11份文件中引用(2015–2021) 软件作者： Dunchev C、Guidi F、Coen CS、Tassi E 相关软件： 辅酶q；阿贝拉；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
6月2日 在11份文件中引用(1996–2004) 软件作者： 艾伦·海登；格雷格·纳尔逊 相关软件： 天蓝色；MMP/Geometer；梅德勒… 主要字段： 几何（51-XX）；数值分析（65-XX）；计算机科学（68-XX）…
更窄的 在11份文件中引用(1985–1995) 软件作者： 皮埃尔·雷蒂（Pierre Rety）；克洛德·基什内尔；赫莱内·基什内尔；皮埃尔·莱斯坎 相关软件： PARLOG；版次：；内核-叶… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；一般代数系统（08-XX）…
雅典娜 10篇文献引用(2004–2017) 软件作者： 康斯坦丁·阿库达斯 相关软件： 雅典娜；HE-E1GODF；卡斯特罗… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
InvX公司 10篇文献引用(1989–2013) 软件作者： H.科什内维桑；K.M.Sephton公司 相关软件： LRinv；VMTL；筑波… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
CRC 3号机组 9份文件引用(2010–2020) 软件作者： 弗朗西斯科·杜兰；何塞·梅塞盖尔 相关软件： 莫德；MTT；第3章… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
BousiProlog公司 6篇文献引用(2017–2023) 软件作者： 伊兰佐、帕斯夸尔·朱利安、克莱门特·鲁比奥·曼扎诺 相关软件： Likelog；SWI Prolog公司；快速… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-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）
图6Java 5份文件引用(2019–2023) 软件作者： 穆罕默德·盖布勒；Ali Kanso；德拉甘·斯特瓦诺维奇 相关软件： nauti；踪迹；蓝色J… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；生物学和其他自然科学（92-XX）
达尔克斯 2份文件引用(2021–2022) 软件作者： Hubert Baniecki、Wojciech Kretowicz、Piotr Piatyszek、Jakub Wisniewski、Przemyslaw Biecek 相关软件： DALEX公司；形状；AI解释360… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
GLINTS公司 4份文件引用(2019–2023) 软件作者： María Alpuente、Angel Cuenca Ortega、Santiago Escobar、Julia Sapiña 相关软件： 莫德；ABETS；MTT… 主要字段： 一般代数系统（08-XX）；计算机科学（68-XX）
规则合并器 4份文件引用(2016–2019) 软件作者： 丹尼尔·斯特吕贝尔（Daniel Strüber）；朱莉娅·鲁宾；托尔斯滕·阿伦特；玛莎·契克；Gabriele Taentzer；詹妮弗·普洛格 相关软件： 亨欣；AGG；VMQL… 主要字段： 计算机科学（68-XX）
SNARK（扫描） 3份文件引用(2009–2015) 软件作者： Stickel，M。 相关软件： Waldmeister；E定理证明器；生动… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；相对论和引力理论（83-XX）
Veriflog公司 4份文件引用(2008–2018) 软件作者： 乔治·科埃略（Jorge Coelho），马里奥·弗洛里多（Mário Florido） 相关软件： CLP（柔性）；定理；数学… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
波形规格0 4份文件引用(2007–2008) 软件作者： 陈硕；Don Hong；于希尔 相关软件： ElemStatLearn；R；Matlab… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
欧洲CLID 3份文件引用(1995–2022) 软件作者： 贾尼契奇，普雷德拉格；斯特万·科尔迪奇 相关软件： ArgoCLP；辅酶q；TPTP… 主要字段： 数学逻辑与基础（03-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）
Multiflex公司 1份文件引用(2004) 软件作者： 阿加塔·萨瓦里 相关软件： MultiFlex；数学软件 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；可变形固体力学（74-XX）
2百万吨 2份文件引用(2022) 软件作者： 乔瓦尼·西亚托、罗伯塔·卡莱加里、安德烈亚·奥米西尼 相关软件： SWI Prolog公司；重新规范；tuProlog… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
艾伦TAP 2份文件引用(2008–2021) 软件作者： Near，Joseph P。；William E.伯德。；丹尼尔·弗里德曼（Daniel P.Friedman）。 相关软件： Freshml；精益TAP；卡伦… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
隔间 2份文件引用(2018–2019) 软件作者： 活页夹JX、Pletscher-Frankild S、Tsafou K、Stolte C、O'Donoghue SI、Schneider R、Jensen LJ 相关软件： 生物网格；蜘蛛2；动态图像… 主要字段： 生物学和其他自然科学（92-XX）
法西尔 2份文件引用(2020–2023) 软件作者： 帕斯夸尔·朱利安·伊兰佐；莫雷诺、吉纳斯；何塞·安东尼奥·里亚扎 相关软件： BousiProlog；FRIL；XPath… 主要字段： 计算机科学（68-XX）
查找事实 2份文件引用(2021–2022) 软件作者： 费比安·胡奇（Fabian Huch）、亚历山大·克劳斯（Alexander Krauss） 相关软件： SErAPIS；Isabelle/HOL；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
向ATINF致敬 2份文件引用（2001年至2012年） 软件作者： 卡费拉、里卡多；尼古拉斯·佩尔蒂埃（Nicolas Peltier）；弗朗索瓦·普伊特 相关软件： GEX；日本国债交易所；发现者… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
NLProlog（NL序言） 2份文件引用(2021) 软件作者： 莱昂·韦伯（Leon Weber）、帕斯奎尔·米内尔维尼（Pasquale Minervini）、詹妮斯·穆奇迈耶（Jannes Münchmeyer）、乌尔夫·莱瑟（Ulf Leser）、蒂姆·罗克塔谢尔（Tim Rocktäschel 相关软件： DeepProbLog；TensorLog；PyTorch… 主要字段： 计算机科学（68-XX）
布拉加方法 1份文件引用(2022) 软件作者： 多米尼克·拉切·温德林（Dominique Larchey-Wendling）；Jean-François莫宁 相关软件： OCaml；CompCert；Coq公司 主要字段： 计算机科学（68-XX）
吞咽 1份文件引用(2014) 软件作者： 医学硕士科文顿。 相关软件： LibShortText；TimeML；HunPos… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
KEIM公司 1份文件引用(2005) 软件作者： Huang，X.、Kerber，M.、Kohlhase，M.，Melis，E.、Nesmith，D.、Richts，J.、Siekmann，J。 相关软件： 欧米茄；狮子座；MKRP公司 主要字段： 计算机科学（68-XX）
昴宿星团 1份文件引用(2014) 软件作者： Karantasis KI，Polychronopoulos ED。 相关软件： 小教堂；SnuCL；JCuda… 主要字段： 数值分析（65-XX）；流体力学（76-XX）
斯布卡 1份文件引用(2008) 软件作者： Yarmohammadi，Mahsa A。；梅赫努什·沙姆斯法德；马希德·亚穆罕默德（Mahshid A.Yarmohammadi）。；马苏德·鲁希扎德 相关软件： – 主要字段： 计算机科学（68-XX）
SoftWrAP软件 1份文件引用(2019) 软件作者： Ellis R.Giles；Kshitij Doshi；彼得·瓦尔曼五世 相关软件： 变形杆菌；ThyNVM公司；诺瓦… 主要字段： 计算机科学（68-XX）