VAMPIRE公司 308份文件引用(1985–2023) 软件作者： 亚历山大·里亚扎诺夫；安德烈·沃伦科夫 相关软件： TPTP；E定理证明；SPASS… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几何（51-XX）…
区域设置 53篇文献引用(1999–2024) 软件作者： 克莱门斯·巴拉林 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；代数几何（14-XX）…
香车叶草 50篇文献引用(1999–2022) 软件作者： 托马斯·希伦布兰德；伯恩德·洛什内尔 相关软件： 吸血鬼；TPTP；E定理证明… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
高阶逻辑 47篇文献引用(1993–2021) 软件作者： 陈卫东；迈克尔·基弗；大卫·S·沃伦 相关软件： Hiord；swrl；XSB… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
zk-快照 32篇文献引用(2014–2024) 软件作者： 本·萨森，伊莱；亚历山德罗·基耶萨；特罗姆，埃兰；夫人维尔扎 相关软件： 皮诺奇；C的SNARK；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
CoCasl公司 26篇文献引用(2003–2014) 软件作者： 莫萨科夫斯基，蒂尔；马库斯·罗根巴赫（Markus Roggenbach）；卢茨·施罗德 相关软件： CASL；莫德；Hets… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
帕科 25篇文献引用(2013–2021) 软件作者： Chung-Kil Hur、Georg Neis、Derek Dreyer、Viktor Vafeiadis 相关软件： Coq；Isabelle/HOL；Agda… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
泽农 21篇文献引用(2007–2022) 软件作者： 理查德·博尼肯（Richard Bonichon）；戴维·德拉哈耶（David Delahaye）；Damien Doligez 相关软件： Coq；TPTP；dedukti… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；计算机科学（68-XX）
TRP公司++ 20篇文献引用(2004–2023) 软件作者： Hustadt，U.，Konev，B。 相关软件： NuSMV；SPASS；利维坦… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
IsaCoSy公司 18篇文献引用（2010年-2023年） 软件作者： 穆阿·约翰逊（Moa Johansson）；卢卡斯·狄克逊；阿兰·邦迪 相关软件： HipSpec；IsaPlanner；时髦… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
D装货商 12份文件引用（2009年-2023年） 软件作者： 阿德里安·里斯科；阿尔贝托·维尔德乔（Alberto Verdejo）；马丁·奥列特，纳西索；拉斐尔·卡巴列罗 相关软件： 莫德；阿尼玛；Web-TLR… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
椭圆覆盖物.lib 14篇文献引用(2015–2024) 软件作者： Janko Böhm、Kathrin Bringmann、Arne Buchholz、Hannah Markwig 相关软件： 单一；鹦鹉螺；痕迹… 主要字段： 数论（11-XX）；代数几何（14-XX）；复变量函数（30-XX）…
芝诺牌手表 14篇文献引用(2012–2022) 软件作者： William Sonnex；索菲亚·德罗索波卢；苏珊·艾森巴赫 相关软件： HipSpec；SMT-LIB；CVC4… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
几何导师 4份文件引用(1986–2007) 软件作者： Anderson，J.R.、Boyle，C.F.、Yost，G。 相关软件： 门托尼耶；巴赫拉；CHYPRE… 主要字段： 数理逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）
SqFreeEVAL公司 在11份文件中引用(2012–2023) 软件作者： 迈克尔·A·伯尔（Michael A.Burr）。；费利克斯·克莱默 相关软件： 隔离；na20；ANewDsc… 主要字段： 代数几何（14-XX）；实函数（26-XX）；复变量函数（30-XX）…
COCA公司 9份文件引用(1993–2020) 软件作者： 伯恩德·菲舍尔；简·摩德西茨基 相关软件： 施瓦兹-克里斯托菲尔；SC工具箱；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；复变量函数（30-XX）；偏微分方程（35-XX）…
M4GB 8份文件引用(2017–2023) 软件作者： Makarim，Rusydi H。；马克·史蒂文斯 相关软件： MQ挑战；GeMSS；FGb… 主要字段： 数论（11-XX）；交换代数（13-XX）；数值分析（65-XX）…
VeriML公司 8份文件引用(2010–2016) 软件作者： 安东尼斯·斯坦普利斯（Antonis Stampoulis）；邵，钟 相关软件： Coq；甲基丙烯酸甲酯；seL4… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
CoqMT公司 7份文件引用(2010–2020) 软件作者： Pierre-Yves支柱 相关软件： Coq；CoqMTU；删除… 主要字段： 数理逻辑与基础（03-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
LNgen（液化天然气） 7份文件引用(2011–2021) 软件作者： 艾德米尔，B.E.，魏里奇，S。 相关软件： 流行标志；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
非连续性 6篇文献引用(2014–2022) 软件作者： 赛琳·德朗德 相关软件： 费恩规则；FeynArts；PYTHIA8… 主要字段： 数值分析（65-XX）；光学、电磁理论（78-XX）；量子理论（81-XX）
拉尔夫 6篇文献引用（1997年-2014年） 软件作者： 克劳迪娅·哈登斯珀格、鲁道夫·伯哈默、冈特·施密特 相关软件： RALL；RelView；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
EnKF-MC公司 5份文件引用(2018–2022) 软件作者： Elias D.Nino、Adrian Sandu、Xinwei Deng 相关软件： EnKF；ElemStatLearn；GitHub… 主要字段： 变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
AgsyHOL公司 4份文件引用(2013–2015) 软件作者： F.林布拉德。 相关软件： TPTP；Nitpick公司；Isabelle/HOL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
Coq间隔 4份文件引用（2019年-2023年） 软件作者： 纪尧姆·梅尔金德 相关软件： Coq；羊毛；mctoolbox… 主要字段： 流形和细胞复合体（57-XX）；数值分析（65-XX）；计算机科学（68-XX）
MetaCoq公司 4份文件引用(2020–2022) 软件作者： 索索、马蒂厄；阿南德，阿比舍克；鲍利耶，西蒙；科恩、西里尔；福斯特，扬尼克；费边·昆泽；Gregory Malecha；尼古拉斯·塔巴鲁（Nicolas Tabarau）；塞奥温特哈尔特 相关软件： Coq；采购订单模板；Idris… 主要字段： 计算机科学（68-XX）
羚羊 2份文件引用(1991) 软件作者： 詹姆斯·莫里斯。；马克·霍华德 相关软件： 卡利班；克利奥；米兰达 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
克里奥 2份文件引用(1991) 软件作者： 詹姆斯·莫里斯。；马克·霍华德 相关软件： 卡利班；阿里尔；米兰达 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
DRABT公司 2份文件引用(2015–2016) 软件作者： Marijn J.H.Heule；阿明·比尔 相关软件： MiniSat；DRAT-饰件；PicoSAT… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
榛子 2份文件引用(2017) 软件作者： 奥马尔、赛勒斯；伊恩·沃西（Ian Voysey）；迈克尔·希尔顿；乔纳森·奥尔德里奇；马修·哈默（Matthew A.Hammer）。 相关软件： 甲基丙烯酸甲酯；js_of_ocaml；mbeddr… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
活塞.txt 1份文件引用(2020) 软件作者： Shalosh B.Ekhad、N.J.A.Sloane、Doron Zeilberger 相关软件： 枫树；组织环境信息系统；有限公司 主要字段： 计算机科学（68-XX）
专业技术经理 2份文件引用(2018–2019) 软件作者： 科尔（Christina Kohl）；阿尔特·米德尔多普 相关软件： TPDB公司 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CoCon公司 1份文件引用(2021) 软件作者： 安德烈·波佩斯库；彼得·兰米奇（Peter Lammich）；侯萍 相关软件： FlowFox；存档正式证据；CoSMed… 主要字段： 计算机科学（68-XX）
Co-Prover公司 1份文件引用(2023) 软件作者： 是的，埃里克；Hitaj，Briland；猫头鹰，山姆；梅纳·奎梅纳；Natarajan Shankar 相关软件： TacTok；游戏Pad；深度数学… 主要字段： 计算机科学（68-XX）
可编码性_Process_Calculi 1份文件引用(2020) 软件作者： 柯斯汀·彼得斯（Kirstin Peters）；罗布·范·格拉贝克 相关软件： Apache Flink；存档正式证据；图片… 主要字段： 计算机科学（68-XX）
ISOKANN公司 1份文件引用(2024) 软件作者： 西科尔斯基，A。；Ribera Borrell，E。；M.韦伯。 相关软件： —— 主要字段： 量子理论（81-XX）；统计力学，物质结构（82-XX）
欧米茄++ 1份文件引用(2015) 软件作者： 阿桑卡亚·夏尔马；王胜毅；安德烈亚科斯蒂亚；阿奎那·霍伯；魏恩根·钦 相关软件： HIP；Isabelle/HOL；Coq公司 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
QBFFam公司 1份文件引用(2021) 软件作者： 奥拉夫·贝尔斯多夫（Olaf Beyersdorff）；卢卡·普利纳（Luca Pulina）；塞德尔，玛蒂娜；安吉特·舒克拉 相关软件： RAReQS；CNFgen基因；部门QBF 主要字段： 计算机科学（68-XX）
Roosterize公司 1份文件引用(2020) 软件作者： 聂鹏宇；卡尔·帕尔姆斯科格（Karl Palmskog）；Li，Junyi Jessy；Gligoric，米洛斯 相关软件： SerAPI；PCM库；JSNice… 主要字段： 计算机科学（68-XX）