VAMPIRE公司 308份文件引用(1985–2023) 软件作者： 亚历山大·里亚扎诺夫；安德烈·沃伦科夫 相关软件： TPTP；E定理证明；SPASS… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几何（51-XX）…
Satallax公司 67篇文献引用（2010年-2023年） 软件作者： 乍得·E·布朗；安德烈亚斯·提克（Andreas Teucke）；杰夫·萨克利夫（Geoff Sutcliffe）；弗兰克·泰伊；格特·斯莫尔卡；朱利安·巴克斯；克里斯·本兹米勒 相关软件： TPTP；Isabelle/HOL；LEO-II… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
洛利 52篇文献引用(1993–2022) 软件作者： 乔什·霍达斯；戴尔·米勒 相关软件： Twelf公司；精灵；Abella… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
常春藤 45篇文献引用(2000–2023) 软件作者： 威廉·麦库恩；奥尔加·舒姆斯基 相关软件： 常春藤；z3；TPTP… 主要字段： 数理逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）
凯伊梅拉X 26篇文献引用(2015–2024) 软件作者： Fulton，N.、Mitsch，S.、Quesel，J.、Völp，M.、Platzer，A。 相关软件： 凯伊迈拉；Isabelle/HOL；Bellerophon… 主要字段： 数理逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
火柴盒 24篇文献引用(2005–2023) 软件作者： J·沃尔德曼。 相关软件： AProVE；蒂罗尔；哈斯克尔… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
谜 25篇文献引用(2017–2023) 软件作者： Jakubův，J.，Urban，J。 相关软件： E定理证明；吸血鬼；MaLARea… 主要字段： 数理逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）
贝德维尔 21篇文献引用(2007–2022) 软件作者： David Baelde、Andrew Gacek、Dale Miller、Gopalan Nadatur、Alwen Tiu 相关软件： Twelf公司；阿贝拉；名义上的伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
狮子座III 21篇文献引用(2015–2023) 软件作者： 亚历山大·斯蒂恩（Alexander Steen）；马克斯·维斯涅夫斯基（Max Wisniewski）；克里斯托夫·本兹穆勒 相关软件： 沙达拉；TPTP；Isabelle/HOL… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
TRP公司++ 20篇文献引用(2004–2023) 软件作者： Hustadt，U.，Konev，B。 相关软件： NuSMV；SPASS；利维坦… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
HARP（HARP） 15篇文献引用(1990–2020) 软件作者： Opacher，F。；苏恩，E 相关软件： SETHEO公司；TPTP；3TAP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
MleanCoP公司 14篇文献引用(2014–2023) 软件作者： 延斯·奥滕 相关软件： TPTP；QMLTP；E定理证明… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
BliStrTune 14篇文献引用(2017–2023) 软件作者： Josef Urban的Jan Jakubuv 相关软件： E定理证明；吸血鬼；BliStr… 主要字段： 数理逻辑与基础（03-XX）；数论（11-XX）；几何（51-XX）…
带 15篇文献引用(1999–2016) 软件作者： Larchey-Wendling，D。；M’ery，D。；迪迪埃·加米歇 相关软件： ILTP；依兰CoP；Imogen… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
幼崽 15篇文献引用(2006–2021) 软件作者： 安德烈亚·阿斯佩蒂（Andrea Asperti）；费卢奇奥·圭迪；Sacerdoti Coen，Claudio；恩里科·塔西；Stefano扎奇罗利 相关软件： 米扎尔；Coq；MML… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
芝诺牌手表 14篇文献引用(2012–2022) 软件作者： William Sonnex；索菲亚·德罗索波卢；苏珊·艾森巴赫 相关软件： HipSpec；SMT-LIB；CVC4… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
立方英尺 10篇文献引用(2010–2022) 软件作者： 毛罗·法拉利；佛罗伦萨，卡米洛；吉多·菲奥里诺 相关软件： ILTP；Imogen；IntHistGC… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
SEPIA公司 9份文件引用(2015–2023) 软件作者： Gransden，T.、Walkinshaw，N.、Raman，R。 相关软件： E定理证明；FEMaLeCoP；Isabelle/HOL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
贝勒罗芬 8份文件引用(2017–2023) 软件作者： Nathan Fulton；斯特凡·米奇；布兰登·伯勒；安德烈·普拉泽 相关软件： 凯伊迈拉X；凯伊迈拉；ModelPlex… 主要字段： 数理逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
克里普克 8份文件引用(1980–2005) 软件作者： 迈克尔·麦克罗比（Michael A.McRobbie）。；Thistlewaite，Paul B。；罗伯特·梅耶（Robert K.Meyer）。 相关软件： 表格；GLEFatinf公司 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
塔克 7份文件引用(2007–2012) 软件作者： 大卫·巴尔德（David Baelde）；戴尔·米勒；斯诺，扎卡里 相关软件： 阿贝拉；贝德维尔；Twelf… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
自动变速器2 6篇文献引用(2016–2019) 软件作者： 詹伯华 相关软件： Isabelle/HOL；伊莎贝尔；Mizar… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；代数拓扑（55-XX）…
倾斜 4份文件引用(1994–2017) 软件作者： Chu，H.，Plaisted，D.A.，理论博物馆 相关软件： iProver；E-Darvin；达尔文… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
dCAQE公司 6篇文献引用(2019–2022) 软件作者： Tentrup，Leander；马库斯·拉贝。 相关软件： HQPre；iProver；CAQE… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
脉冲 6篇文献引用(2021–2022) 软件作者： Sachit Menon、Alexandru Damian、Shijia Hu、Nikhil Ravi、Cynthia Rudin 相关软件： DnCNN；Wasserstein GAN；FFD网络… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
普赛克 5份文件引用(2013–2020) 软件作者： 圣菲省格拉汉·伦格兰德 相关软件： 伊莎贝尔；直觉；ILTP… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
阿格利特 3份文件引用（2010年至2017年） 软件作者： 杰米·莫根斯坦（Jamie Morgenstern）；丹尼尔·李卡塔（Daniel R.Licata）。 相关软件： 层流；哈斯克尔；Ynot… 主要字段： 计算机科学（68-XX）
AgsyHOL公司 4份文件引用(2013–2015) 软件作者： F.林布拉德。 相关软件： TPTP；Nitpick公司；Isabelle/HOL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
深入学习（_L） 4份文件引用(2017–2023) 软件作者： 亚历山大·本特坎普 相关软件： Isabelle/HOL；多项式；Groebner_Bases… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）
防手表 4份文件引用(2018–2021) 软件作者： 查拉图斯特拉·戈策尔；Jakubův，Jan；斯蒂芬·舒尔茨（Stephan Schulz）；约瑟夫·乌尔班 相关软件： E定理证明；BliStrTune；谜… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
SeaPearl公司 4份文件引用(2021–2023) 软件作者： 费利克斯Chalumeau；伊兰·库隆；瓶盖，昆廷；卢梭，路易斯·马汀 相关软件： NeuroSAT；AlphaGo；亚当… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
TWB公司 3份文件引用(2009–2019) 软件作者： 彼得罗·阿巴特；拉杰夫·戈尔 相关软件： LoTREC公司；MSPASS；SableCC… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
XBarnacle公司 4份文件引用(2000–2006) 软件作者： 迈克·杰克逊；海伦·洛；大卫·邓肯 相关软件： Nuprl；蛤；自动… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
R-SATCHMO公司 2份文件引用(2004–2005) 软件作者： 何立峰；赵玉燕；伊藤秀内里 相关软件： SATCHMOREBID；I-SATCHMO；萨奇莫… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CallmachusDL（Callmachus DL） 在0个文档中引用 软件作者： 胡安·米盖尔·戈梅斯·贝比斯；里卡多·科罗莫·帕拉西奥斯；安杰尔·加西亚·克雷斯波 相关软件： —— 主要字段： ——
CoCLAM公司 2份文件引用(2000–2012) 软件作者： 洛杉矶丹尼斯。；邦迪，A。；我是格林。 相关软件： 牡蛎；欧米茄；蛤蜊… 主要字段： 阶、格、有序代数结构（06-XX）；通用代数系统（08-XX）；计算机科学（68-XX）
戈兰 2份文件引用(2022–2023) 软件作者： 朱莉·凯勒；Johann Rosain；戴维·德拉哈耶（David Delahaye）；西蒙·罗比拉德；布齐安·欣德·莉莉亚 相关软件： TPTP；存档正式证据；iProver… 主要字段： 计算机科学（68-XX）
GQML公司 2份文件引用(2002–2007) 软件作者： 提昂，V。；塞里托，S。；玛尔塔·恰尔迪亚·梅耶 相关软件： 表格；吞咽；ModLeanTAP模式 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
链接 2份文件引用(2002–2017) 软件作者： 哈伯特，L。；诺丁，J.-M。；D.加尔米奇。 相关软件： JGraph；工作流FM；HOL灯… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
PRe学习 2份文件引用(2022–2023) 软件作者： 约瑟夫·里夫斯（Joseph E.Reeves）。；Heule，Marijn J.H。；Randal E.布莱恩特。 相关软件： CaDiCaL；Paracooba；基萨特… 主要字段： 计算机科学（68-XX）
tuCLEVER公司 2份文件引用(2022–2023) 软件作者： 玛丽安娜·吉兰多；莱尔曼，比约恩；尼古拉·奥利维蒂；佩西、斯特凡诺；吉安·卢卡（Gian Luca），披萨 相关软件： github；月球；Metis_… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
HyLoBan公司 1份文件引用(2009) 软件作者： 德米特里·苏斯特列托夫；纪尧姆·霍夫曼；卡洛斯·阿雷塞斯；帕特里克·布莱克本 相关软件： HyLoTab；HTab；GHC公司 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
梅拉 1份文件引用(2012) 软件作者： 阿拉斯代尔·阿姆斯特朗；西蒙·福斯特（Simon Foster）；乔治·斯特鲁斯 相关软件： Metis_；Waldmeister；Agda… 主要字段： 计算机科学（68-XX）