水獭 326篇文献引用(1988–2023) 软件作者： Bill McCune；阿莫尔·蒙塔诺（Amor Montano）、何塞·阿尔弗雷多（Jose Alfredo）；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
ELAN公司 106篇文献引用(1996–2020) 软件作者： 彼得·博罗万斯基（Peter Borovansky）、埃里克·德普拉涅（Eric Deplagne）、克劳德·基什内尔（Claude Kirchner）、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳（Pierre-Etienne Moreau）、克里斯托夫·林盖森（Christophe 相关软件： 莫德；OBJ咖啡馆；OBJ3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
收入 87份文件引用(1984–2023) 软件作者： 皮埃尔·莱斯坎 相关软件： RRL；AProVE；蒂罗利安… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
清洁 56篇文献引用(1987–2016) 软件作者： 医学博士Plasmeijer。 相关软件： 哈斯克尔；米兰达；闪光… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
K校准仪 52篇文献引用(2007–2024) 软件作者： 罗什、格里戈尔等人 相关软件： 莫德；K工具；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
CeTA公司 49份文件中引用(2009–2023) 软件作者： 雷内·蒂曼；克里斯蒂安·斯特纳格尔 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；交换代数（13-XX）…
廷巴克 49份文件中引用(2001–2023) 软件作者： 托马斯·杰奈特；Yohan Boichut；贝诺·博伊尔；Valérie Viet Triem Tong。。 相关软件： 莫德；AVISPA；埃兰… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）…
ATERM公司 41篇文献引用（2000年至2011年） 软件作者： 莫罗、皮埃尔·伊蒂安；奥利维·泽德拉 相关软件： 战略；ELAN；莫德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
CoLoR公司 40篇文献引用(2006–2022) 软件作者： F.Blanqui、W.Delobel、S.Coupet-Grimal、S.Hinderer、A.Koprowski 相关软件： Coq；Isabelle/HOL；CeTA… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
转向器 引用于38份文件(2010–2022) 软件作者： Robert Brummayer；阿明·比尔 相关软件： z3；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CiME公司 39篇文献引用(1996–2022) 软件作者： 埃维琳·孔特让、克劳德·马奇、安德烈·帕斯科维奇、泽维尔·乌尔班 相关软件： AProVE；蒂罗尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
多终端 34份文件引用(2005–2022) 软件作者： 萨尔瓦多·卢卡斯 相关软件： AProVE；蒂罗尔；莫德… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；计算机科学（68-XX）
犯罪现场调查 引用于23份文件(2011–2023) 软件作者： 哈拉尔德·赞克；费尔根豪尔（Felgenhauer），伯特伦（Bertram）；阿尔特·米德尔多普 相关软件： 塞加瓦；CeTA；蒂罗利安… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
K工具 20篇文献引用(2010–2022) 软件作者： 大卫·拉扎尔（David Lazar）、安德烈·阿鲁索艾（Andrei Arusoaie）、特拉安·弗洛林·埃尔布努（Traian Florinöerbţnu）、丘奇·埃利森（Chucky Ellison）、拉杜·梅雷塔（Radu Mereuta）、多雷尔·卢卡努（Dorel Lucan 相关软件： K校准仪；莫德；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
保险箱 15篇文献引用(2006–2021) 软件作者： J·恩德鲁利斯 相关软件： AProVE；蒂罗尔；多终端… 主要字段： 数学逻辑与基础（03-XX）；结合环与代数（16-XX）；计算机科学（68-XX）
加勒比 14篇文献引用(2004–2012) 软件作者： O.Fissoor、I.Gneedig、H.Kirchner 相关软件： 莫德；AProVE；ELAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
A3PAT飞机 9份文件引用(2010–2023) 软件作者： Contejean，E.，Paskevich，A.，Urbain，X.，Courtieu，P.，Pons，O.，Forest，J。 相关软件： Isabelle/HOL；Coq；CoLoR… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
条件合流 9份文件引用(2014–2022) 软件作者： 托马斯·斯特纳格尔（Thomas Sternagel）；阿尔特·米德尔多普 相关软件： 莫德；塞加瓦；CSI… 主要字段： 计算机科学（68-XX）
Sb版本2 9份文件引用(1989–1995) 软件作者： – 相关软件： RRL；收入；NQTHM… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；非结合环与代数（17-XX）…
自动写入 8份文件引用(2002–2014) 软件作者： Irene杜兰德 相关软件： MONA；数据日志；Treewidthlib… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
Java+ITP 7份文件引用(2007–2013) 软件作者： Sasse，R.，Meseguer，J。 相关软件： 莫德；爪哇风扇；K校准仪… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
mkbTT公司 7份文件引用(2008–2022) 软件作者： 莎拉·温克勒；佐藤、晴彦；阿尔特米德尔多普；栗原、Masahito 相关软件： 斯洛思罗普；蒂罗尔；KBCV… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；群论与推广（20-XX）…
IsaFoR公司 4份文件引用(2011–2016) 软件作者： 亚历山大·克劳斯；斯特纳格尔，克里斯蒂安；勒内，蒂曼；福斯，卡斯滕；吉尔根·吉斯尔 相关软件： Isabelle/HOL；CeTA；CoLoR… 主要字段： 计算机科学（68-XX）
增量CCS 4份文件引用(2015–2020) 软件作者： 马耳他州洛豪；Stephan Mennicke；Hauke Baller；拉尔斯·里贝克 相关软件： VMC；自旋蛋白；莫德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
镉 4份文件引用(2008–2017) 软件作者： 格雷戈里·杜克（Gregory J.Duck）。；莱斯利·德·科宁克；彼得·斯图基（Peter J.Stuckey）。 相关软件： 微量锌；通用电气；G12… 主要字段： 计算机科学（68-XX）
CRSX公司 3份文件引用(2009–2011) 软件作者： 罗丝，K.H。；国际商用机器公司 相关软件： 自动化；流行标志；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
二氧化碳 2份文件引用(2018–2021) 软件作者： Nishida，N.、Kuroda，T.、Yanagisawa，M.、Gmeiner，K。 相关软件： 警察；CoCoWeb；MTT… 主要字段： 计算机科学（68-XX）
KBCV公司 3份文件引用(2011–2015) 软件作者： 托马斯·斯特纳格尔（Thomas Sternagel）；哈拉尔德·赞克 相关软件： mkbTT；CeTA；斯洛思罗普… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
sprfn公司 3份文件引用(1988–1993) 软件作者： David A.Plaisted。；理查德·波特。 相关软件： NQTHM；Nuprl；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MEMSA实验室 2份文件引用(2014–2022) 软件作者： 瓦利德·贝尔基尔；阿兰·乔尔盖蒂；米歇尔·伦茨纳 相关软件： CoReS；汤姆；枫树 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
微型流氓 2份文件引用(2005–2007) 软件作者： 阿伦·斯塔姆（Aaron Stump）；瑞安·贝桑德（Ryan Besand）；詹姆斯·布罗德曼（James C.Brodman）。；Hseu，Jonathan；比尔·金纳斯利 相关软件： 卡宴；CVC；ALF… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
米隆加 2份文件引用(2002–2008) 软件作者： 布鲁诺，N。；海因茨，J。；马特拉，G。；Wachenchauzer，R。 相关软件： 投射Noether；克罗内克；隔离… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；计算机科学（68-XX）
校对小工具 2份文件引用(2021–2022) 软件作者： 爱德华·艾尔斯（Edward W.Ayers）。；贾姆尼克，马蒂亚；W.T.Gowers。 相关软件： 精益；Nitpick公司；mathlib… 主要字段： 计算机科学（68-XX）
阿那戈波斯 1份文件引用(2011) 软件作者： Bugge Grathwohl，尼尔斯·比约恩；杰罗·凯特马（Jeroen Ketema）；Jens Duelund，Pallesen；雅各布·格鲁·西蒙森 相关软件： TILC；郁金香；格拉夫维兹 主要字段： 计算机科学（68-XX）
术语重新编写 在0个文档中引用 软件作者： 伯特伦·费尔根豪尔（Bertram Felgenhauer）；马丁·阿文齐尼（Martin Avanzini）；克里斯蒂安·斯特纳格尔 相关软件： 哈斯克尔；火柴盒；多终端… 主要字段： –