HOL公司 603文件引用(1985–2024) 软件作者： 迈克尔·J·C·戈登。 相关软件： 伊莎贝尔；Isabelle/HOL；毫升… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
VAMPIRE公司 323份文件引用(1985–2024) 软件作者： 亚历山大·里亚扎诺夫；安德烈·沃伦科夫 相关软件： TPTP；E定理证明器；SPASS… 主要字段： 数理逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）…
NQTHM公司 149篇文献中引用(1979–2022) 软件作者： 罗伯特·博伊尔（Robert S.Boyer）。；J.Strother摩尔 相关软件： HOL；ACL2；PVS… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；群论与推广（20-XX）…
萨奇莫 93篇文献引用(1988–2023) 软件作者： Manthey，R.，Bry，F。 相关软件： TPTP；水獭；SETHEO… 主要字段： 一般性和全局性主题；藏品（00-XX）；数理逻辑与基础（03-XX）；群论与推广（20-XX）…
马蒂塔 78篇文献引用(2007–2024) 软件作者： 安德烈亚·阿斯佩蒂（Andrea Asperti）；里奇奥蒂，威尔默；Sacerdoti Coen，Claudio；恩里科·塔西 相关软件： Coq；米扎尔；Isabelle/HOL… 主要字段： 一般性和全局性主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数论（11-XX）…
伊莎贝尔/采埃孚 引用于72份文件(1993–2024) 软件作者： 劳伦斯·保尔森 相关软件： 伊莎贝尔；Coq；伊莎贝尔·霍尔… 主要字段： 一般性和全局性主题；藏品（00-XX）；数理逻辑与基础（03-XX）；代数拓扑（55-XX）…
萨塔拉克 68篇文献引用(2010–2023) 软件作者： 乍得·E·布朗；安德烈亚斯·提克（Andreas Teucke）；杰夫·萨克利夫（Geoff Sutcliffe）；弗兰克·泰伊；格特·斯莫尔卡；朱利安·巴克斯；克里斯·本兹米勒 相关软件： TPTP；Isabelle/HOL；LEO-II… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
电源保护 52篇文献引用(2001–2020) 软件作者： 罗杰·琼斯；R.D.阿尔森。；戴夫·金；Lemma 1有限公司 相关软件： 马戏团；Z；HOL… 主要字段： 一般性和全局性主题；藏品（00-XX）；数理逻辑与基础（03-XX）；实函数（26-XX）…
区域设置 54篇文献引用(1999–2024) 软件作者： 克莱门斯·巴拉林 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；代数几何（14-XX）…
公主 30篇文献引用(2010–2023) 软件作者： Angelo Brillout、Daniel Kroening、Philipp Rümmer、Thomas Wahl 相关软件： FOCI；z3；Eldarica… 主要字段： 一般性和全局性主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
斯科特 27篇文献引用（1994年至2017年） 软件作者： 约翰·斯莱尼、阿诺德·比纳斯、卡利尔·霍奇森、大卫·普莱斯 相关软件： 水獭；TPTP；SETHEO… 主要字段： 一般性和全局性主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
E-Darvin公司 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）
KoMeT公司 13份文件引用(1996–2012) 软件作者： 例如，Uwe；托马斯·拉特 相关软件： SETHEO公司；TPTP；PTTP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
穆斯卡迪特 10篇文献引用(1989–2021) 软件作者： 多米尼克·帕斯特 相关软件： 水獭；自动化；伊莎贝尔/采埃孚… 主要字段： 一般性和全局性主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
AURA公司 10篇文献引用(1984–2022) 软件作者： B.T.史密斯。 相关软件： 水獭；NQTHM；iProver… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
海狸 9份文件引用(2010–2021) 软件作者： 桑吉特·塞希亚 相关软件： Yices；z3；CVC4… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
2月2日 8份文件引用(1994–2012) 软件作者： 约瑟夫·戈根 相关软件： OBJ3；莫德；Stratego… 主要字段： 数理逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）…
欧米茄-ANTS 9份文件引用（2001年至2008年） 软件作者： 克里斯托夫·本兹穆勒；沃尔克·索尔格 相关软件： 欧米茄；LOUI；陷阱… 主要字段： 一般性和全局性主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
TSPASS公司 9份文件引用(2009–2021) 软件作者： M.路德维希 相关软件： TRP++；NuSMV；TeMP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
TATL公司 8份文件引用(2009–2023) 软件作者： 艾米莉·大卫 相关软件： CL校准仪；颗粒；MiniSat… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
HOL90型 7份文件引用(1995–2017) 软件作者： 理论博物馆 相关软件： Coq；NQTHM；数字（amp；N）… 主要字段： 一般性和全局性主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
HOT（热） 7份文件引用(1998–2022) 软件作者： 卡斯滕·康拉德 相关软件： TPS；TPTP；数字（amp；N）… 主要字段： 一般性和全局性主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
水瓶座 4份文件引用(1994–2004) 软件作者： 博纳西纳（Bonacina）、玛丽亚·保拉（Maria Paola）；Jieh乡 相关软件： 水獭；气象；帕塞农… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
G小调 4份文件引用(2010–2019) 软件作者： 安德鲁·麦克里特（Andrew McCreight）；蒂姆·骑士；安德鲁·托尔马赫 相关软件： Coq；CompCert；CompCertTSO… 主要字段： 计算机科学（68-XX）
TWB公司 3份文件引用(2009–2019) 软件作者： 彼得罗·阿巴特；拉杰夫·戈尔 相关软件： LoTREC；MSPASS；SableCC… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
LWB公司 3份文件引用(1996–2009) 软件作者： 拉杰夫·戈尔；沃尔夫冈·海恩勒；阿兰·豪尔丁 相关软件： 迷你卫星；VAMPIRE公司；MSPASS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
ILF-设置 引用于2份文件（1997年） 软件作者： 安德烈亚斯·沃尔夫（Andreas Wolf）；约翰·舒曼 相关软件： SETHEO公司；E-SETHEO；HOL… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CoRg公司 在0个文档中引用 软件作者： 克劳迪娅·肖恩（Claudia Schon）、索菲·西伯特（Sophie Siebert）、弗里德·斯托尔岑伯格（Frieder Stolzenburg） 相关软件： 阿迪门·苏莫；知识；雅高… 主要字段： –