TPTP公司 419份文件引用(1994–2023) 软件作者： Geoff Sutcliffe；克里斯蒂安·萨特纳 相关软件： VAMPIRE公司；E定理证明器；SPASS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；几何（51-XX）…
SMT-LIB公司 222篇文献引用(2004–2024) 软件作者： 克拉克·巴雷特；莱昂纳多·德·莫拉；西尔维奥·兰伊斯；阿伦·斯塔姆（Aaron Stump）；塞萨尔·蒂内利 相关软件： z3；CVC4；Yices… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
大锤 165篇文献引用(2010–2023) 软件作者： Nik苏尔塔纳；Jasmin Christian布兰切特；劳伦斯·C·鲍尔森。 相关软件： Isabelle/HOL；伊莎贝尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
Nitpick公司 77份文件引用(1999–2023) 软件作者： Jasmin Christian布兰切特；托比亚斯·尼普科 相关软件： Isabelle/HOL；大锤；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
萨塔拉克 引用于67份文件(2010–2023) 软件作者： 乍得·E·布朗；安德烈亚斯·提克（Andreas Teucke）；杰夫·萨克利夫（Geoff Sutcliffe）；弗兰克·泰伊；格特·斯莫尔卡；朱利安·巴克斯；克里斯·本兹米勒 相关软件： TPTP；Isabelle/HOL；LEO-II… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
梅蒂斯_ 58篇文献引用(1987–2023) 软件作者： Joe Leslie-Hurd；metis-users@gilith.com 相关软件： Isabelle/HOL；E定理证明器；TPTP… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-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）
人力资源 27篇文献引用(2002–2022) 软件作者： 西蒙·科尔顿 相关软件： 涂鸦；水獭；Mace4… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
达尔文 28篇文献引用(2005–2023) 软件作者： Peter Baumgartner、Alexander Fuchs、Hans de Nivelle、Cesare Tinelli 相关软件： E-Darvin；TPTP；iProver… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
电子达文 23篇文献引用(2006–2023) 软件作者： 彼得·鲍姆加特纳（Peter Baumgartner）；比约恩·佩尔泽；蒂内利、塞萨尔；亚历山大·富克斯（Alexander Fuchs）；汉斯·德尼维尔 相关软件： 达尔文；梅斯4；TPTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
DCTP公司 21篇文献引用(2001–2017) 软件作者： Letz，R.，Stenz，G 相关软件： E定理证明器；SPASS；VAMPIRE… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
系统OnTPTP 17篇文献引用(2000–2022) 软件作者： 杰夫·萨特克利夫 相关软件： E定理证明器；TPTP；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
瑞士法郎 14篇文献引用(2008–2019) 软件作者： 克里斯托夫·本兹穆勒；佛罗里达州拉贝；杰夫·萨特克利夫 相关软件： TPTP；E定理证明器；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PRocH公司 12份文件引用(2013–2018) 软件作者： Cezary Kaliszyk；约瑟夫·乌尔班 相关软件： HOL灯；Flyspeck；E定理证明器… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
质量管理长期计划 12份文件引用(2012–2022) 软件作者： 托马斯·拉斯（Thomas Raths）；延斯·奥滕 相关软件： TPTP；MleanCoP；MSPASS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
嵌入模式 8份文件引用(2017–2023) 软件作者： Gleißner，托比亚斯；亚历山大·斯蒂恩（Alexander Steen）；克里斯托夫·本兹穆勒 相关软件： MleanCoP；Nitpick公司；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
国际数字电视 7份文件引用(2007–2023) 软件作者： Trac，Steven；尤里·普齐斯；杰夫·萨特克利夫 相关软件： TPTP；E定理证明器；OMDoc… 主要字段： 计算机科学（68-XX）
LeoPARD公司 8份文件引用(2015–2021) 软件作者： 维斯涅夫斯基，马克斯；亚历山大·斯蒂恩（Alexander Steen）；克里斯托夫·本兹穆勒 相关软件： TPTP；Leo-III；沙达拉… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
GKC公司 7份文件引用(2019–2022) 软件作者： 塔内尔·塔米特 相关软件： VAMPIRE公司；SPASS；OTTER… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）
Twee（推特） 6篇文献引用(2018–2022) 软件作者： 北斯莫尔博内。 相关软件： Waldmeister；E定理证明器；TPTP… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）
FML至HOL 5份文件引用(2013–2023) 软件作者： 克里斯托夫·本兹穆勒；托马斯·拉斯 相关软件： Nitpick公司；TPTP；沙达拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SMT至TPTP 5份文件引用(2015–2017) 软件作者： 鲍姆加特纳，P。 相关软件： TPTP；SMT-LIB；z3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
tptp2X型 3份文件引用(1998–2006) 软件作者： Geoff Sutcliffe；克里斯蒂安·萨特纳 相关软件： 小时；数学网；梅斯4… 主要字段： 数论（11-XX）；计算机科学（68-XX）
AgsyHOL公司 4份文件引用(2013–2015) 软件作者： F.林布拉德。 相关软件： TPTP；Nitpick公司；Isabelle/HOL… 主要字段： 数学逻辑与基础（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份文件引用(2013–2019) 软件作者： 杰西·阿拉玛 相关软件： MiniSat；佩斯卡；梅斯4… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；几何（51-XX）…
戈兰 2份文件引用(2022–2023) 软件作者： 朱莉·凯勒；约翰·罗桑；戴维·德拉哈耶（David Delahaye）；西蒙·罗比拉德；布齐安·欣德·莉莉亚 相关软件： TPTP；存档正式证据；iProver… 主要字段： 计算机科学（68-XX）
PyRes公司 2份文件引用（2020年） 软件作者： 斯蒂芬·舒尔茨（Stephan Schulz）；皮斯，亚当 相关软件： VAMPIRE公司；iProver；E定理证明器… 主要字段： 计算机科学（68-XX）
埃克斯特拉克托 在0个文档中引用 软件作者： Mohamed Yacine El Haddad、Guillaume Burel、Frédéric Blanqui 相关软件： ArchSAT；拉链位置；E定理证明器… 主要字段： –
梅拉 1份文件引用(2012) 软件作者： 阿拉斯代尔·阿姆斯特朗；西蒙·福斯特（Simon Foster）；乔治·斯特鲁斯 相关软件： Metis_；Waldmeister；Agda… 主要字段： 计算机科学（68-XX）