水獭 326篇文献引用(1988–2023) 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺（Amor Montano）、何塞·阿尔弗雷多（Jose Alfredo）；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
HipSpec（髋关节规范） 23篇文献引用(2013–2023) 软件作者： 科恩·克莱森；穆阿·约翰逊（Moa Johansson）；丹·罗斯恩；尼古拉斯·斯莫尔博内 相关软件： IsaCoSy；VAMPIRE公司；CVC4… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）
阿基斯 20篇文献引用(2012–2023) 软件作者： 罗希特·查达（Rohit Chadha）、文森特·雪娃（Vincent Cheval）、特凡·乔布（tefan CiobácȘ）、史蒂夫·克莱默（Steve Kremer） 相关软件： 塔马林；AVISPA；Maude-NPA… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
亚帕 18篇文献引用(2009–2020) 软件作者： 马修·波德特；科蒂尔、维罗尼克；德莱恩，斯特凡尼 相关软件： AVISPA；阿克斯；Maude-NPA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Alt-Ergo（备用发动机） 在15份文件中引用(2008–2022) 软件作者： Sylvain Conchon、Evelyne Contejean 相关软件： Why3；z3；Coq… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Java+ITP 7份文件引用(2007–2013) 软件作者： Sasse，R.，Meseguer，J。 相关软件： 莫德；爪哇风扇；K校准仪… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
投影CAD 8份文件引用(2014–2020) 软件作者： 英格兰，马修；戴维·威尔逊（David Wilson）；拉塞尔·布拉德福德（Russell Bradford）；詹姆斯·H·达文波特。 相关软件： 正则链；QEPCAD；MetiTarski… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；代数几何（14-XX）…
CoqMT公司 7份文件引用(2010–2020) 软件作者： Pierre-Yves支柱 相关软件： Coq；CoqMTU；dedukti… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
mkbTT公司 7份文件引用(2008–2022) 软件作者： 莎拉·温克勒；佐藤、晴彦；阿尔特米德尔多普；栗原、Masahito 相关软件： 斯洛思罗普；蒂罗尔；KBCV… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；群论与推广（20-XX）…
洞穴堆积 5份文件引用（2010年至2022年） 软件作者： 玛格斯·维纳斯（Margus Veanes）；尼古拉·蒂尔曼；乔纳森·德·哈勒克斯 相关软件： z3；Z3str3；陌生人… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
UTP2型 5份文件引用(2010–2019) 软件作者： 安德鲁·布特菲尔德 相关软件： 硫苷；Isabelle/HOL；Isabelle/UTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GLINTS公司 4份文件引用(2019–2023) 软件作者： María Alpuente、Angel Cuenca Ortega、Santiago Escobar、Julia Sapiña 相关软件： 莫德；ABETS；MTT… 主要字段： 一般代数系统（08-XX）；计算机科学（68-XX）
正则_代数 引用于3份文件(2015–2016) 软件作者： 西蒙·福斯特；乔治·斯特鲁斯 相关软件： 大锤；Isabelle/HOL；陷阱… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SOL公司 引用于3份文件(2019–2022) 软件作者： 马科托·哈马纳 相关软件： Coq；哈斯克尔；咖啡OBJ… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
DyNetiKAT公司 2份文件引用(2022) 软件作者： 乔治亚娜·卡尔泰斯；侯赛因·霍贾特；穆萨维、穆罕默德·雷扎；昆卡罐Tunç 相关软件： NetKAT；Python；莫德… 主要字段： 计算机科学（68-XX）
林肯 2份文件引用(2017–2021) 软件作者： 艾娜·林·乔治斯（Aina Linn Georges）；阿加塔·穆拉夫斯卡；奥蒂斯、肖恩；碧姬·品特卡 相关软件： github；阿格达；丁香… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）