梅斯4 250篇文献引用(1995–2024) 软件作者： 威廉·麦库恩 相关软件： 证明人9；水獭；TPTP… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
红线批注 171篇文献引用(1997–2024) 软件作者： 安德烈亚斯·多尔兹曼（Andreas Dolzmann）；托马斯·斯图尔姆；沃尔克·魏斯芬宁 相关软件： QEPCAD；z3；枫树… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）…
大锤 165篇文献引用(2010–2023) 软件作者： Nik苏尔塔纳；Jasmin Christian布兰切特；劳伦斯·C·鲍尔森。 相关软件： Isabelle/HOL；伊莎贝尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
MPTP 0.2 55份文件引用(2006–2021) 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；VAMPIRE公司；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
LEO-II型 52篇文献引用(2008–2021) 软件作者： Benzmüller，C.，Paulson，L.，Theiss，F.，Fietzke，A，本泽米勒，C.，鲍尔森，L.，泰斯，F.，费茨克，A 相关软件： 沙达拉；TPTP；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
WhyML公司 44篇文献引用(2013–2023) 软件作者： Jean-Christophe Filliátre；安德烈·帕斯科维奇 相关软件： Why3；z3；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
地理1.1 31份文件引用(1996–2021) 软件作者： 王东明 相关软件： GeoGebra；GEX；地理信息… 主要字段： 场论与多项式（12-XX）；几何（51-XX）；数值分析（65-XX）…
HOL布吉 14篇文献引用(2008–2019) 软件作者： Böhme，萨沙；Leino，K.Rustan M。；沃尔夫，伯克哈特 相关软件： Isabelle/HOL；Why3；布吉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
E-KRHper公司 11份文件引用(2007–2021) 软件作者： 比约恩·佩尔泽；克里斯托弗·沃恩哈德 相关软件： E定理证明器；E-Darvin；萨奇莫… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
电子邮件 12份文件引用(2013–2021) 软件作者： 丹尼尔·库尔温（Daniel Kühlwein）；斯蒂芬·舒尔茨（Stephan Schulz）；约瑟夫·乌尔班 相关软件： E定理证明器；VAMPIRE公司；MaLARea… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；几何（51-XX）…
LIRA公司 7份文件引用(2008–2021) 软件作者： Becker，B.、Dax，C.、Eisinger，J.、Klaedtke，F。 相关软件： 睫毛；cvc3；TaPAS… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
FML至HOL 5份文件引用(2013–2023) 软件作者： 克里斯托夫·本兹穆勒；托马斯·拉斯 相关软件： Nitpick公司；TPTP；沙达拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
伊曼德拉 5份文件引用(2020–2022) 软件作者： 格兰特·奥尼·帕斯莫尔（Grant Olney Passmore）、西蒙·克鲁恩斯（Simon Cruanes）、丹尼斯·伊格纳托维奇（Denis Ignatovich）、戴夫·艾特肯（Dave Aitken）、马特·布雷（Matt Bray 相关软件： VAMPIRE公司；SMT-LIB；芝诺… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
FOOL（足球） 4份文件引用(2015–2021) 软件作者： 科特利尼科夫（Kotelnikov），叶夫根尼（Evgenii）；劳拉·科夫亚茨（Laura Kov'acs）；安德烈·沃伦科夫 相关软件： TPTP；大锤；SMT-LIB… 主要字段： 计算机科学（68-XX）
Monotonox公司 4份文件引用(2011–2013) 软件作者： 科恩·克莱森；Lillieström，安；尼古拉斯·斯莫尔博内 相关软件： HOL灯；TPTP；Nitpick… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
防手表 4份文件引用（2018年至2021年） 软件作者： 戈泽尔，查拉图斯特拉；Jakubův，简；斯蒂芬·舒尔茨（Stephan Schulz）；约瑟夫·乌尔班 相关软件： E定理证明器；BliStrTune；谜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
阿迪门·苏莫 2份文件引用(2015–2019) 软件作者： Alvez J.、Lucio P.、Rigau G 相关软件： 知识；雅高；BabelNet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
LogAnswer（日志应答） 2份文件引用(2008) 软件作者： 乌尔里希·富巴赫；英戈·格里克纳；赫尔曼·赫尔比格；比约恩·佩尔泽 相关软件： E-KRHper；WordNet；阿贝拉… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
KEIM公司 1份文件引用(2005) 软件作者： Huang，X.、Kerber，M.、Kohlhase，M.，Melis，E.、Nesmith，D.、Richts，J.、Siekmann，J。 相关软件： 欧米茄；狮子座；MKRP公司 主要字段： 计算机科学（68-XX）
QuIt公司 1份文件引用(2018) 软件作者： 格雷斯，伯恩哈德；劳拉·科瓦奇（Laura Kovács）；罗比拉德，西蒙 相关软件： VAMPIRE公司；InvGen；CVC4… 主要字段： 计算机科学（68-XX）