VAMPIRE公司 308份文件引用(1985–2023) 软件作者： 亚历山大·里亚扎诺夫；安德烈·沃伦科夫 相关软件： TPTP；E定理证明器；SPASS… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几何（51-XX）…
佩斯卡 198篇文献引用(2001–2023) 软件作者： 阿内·兰塔 相关软件： MiniML；Coq；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；几何（51-XX）…
CVC4型 185篇文献引用(2013–2023) 软件作者： Barrett，C.、Conway，C.L.、Deters，M.、Hadarean，L.、Jovanović，D.、King，T.、Reynolds，A.、Tinelli，C。 相关软件： z3；SMT-LIB；数学SAT5… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
ETPS公司 162篇文献引用(1986–2022) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning）、习宏伟（Hongwei Xi） 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
cvc3型 80篇文献引用(2006–2023) 软件作者： 克拉克·巴雷特（Clark Barrett）、塞萨尔·蒂内利（Cesare Tinelli 相关软件： z3；SMT-LIB；Yices… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
凯伊迈拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
梅蒂斯_ 58篇文献引用(1987–2023) 软件作者： Joe Leslie-Hurd；metis-users@gilith.com 相关软件： Isabelle/HOL；E定理证明器；TPTP… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
CeTA公司 49篇文献引用(2009–2023) 软件作者： 雷内·蒂曼；克里斯蒂安·斯特纳格尔 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；交换代数（13-XX）…
精益TAP 44篇文献引用(1994–2022) 软件作者： 贝恩哈德·贝克特；约阿希姆·波塞加 相关软件： SETHEO公司；TPTP；萨奇莫… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
分析 33篇文献引用(1993–2022) 软件作者： Bauer，A.、Clarke，E.M.、Zhao 相关软件： 定理；Nuprl；PVS… 主要字段： 数学逻辑与基础（03-XX）；实函数（26-XX）；计算机科学（68-XX）…
斯派克 23篇文献引用（1995年至2020年） 软件作者： Bouhoula，A.，Kounalis，E.，Rusinovitch，M。 相关软件： RRL；Coq；NQTHM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GCL校准仪 20篇文献引用(2006–2023) 软件作者： Predrag Janicic；佩德罗·夸雷斯马 相关软件： 地质学；GCLC；GeoGebra… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）…
TVOC公司 20篇文献引用(2005–2022) 软件作者： 克拉克·巴雷特；方毅；本杰明·戈德伯格（Benjamin Goldberg）；胡莹；阿米尔·普努利；勒诺尔·扎克 相关软件： CVT；Coq；z3… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
Alt-Ergo（备用发动机） 15篇文献引用(2008–2022) 软件作者： Sylvain Conchon、Evelyne Contejean 相关软件： Why3；z3；Coq… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
IsaCoSy公司 18篇文献引用(2010–2023) 软件作者： 穆阿·约翰逊（Moa Johansson）；卢卡斯·狄克逊；阿兰·邦迪 相关软件： HipSpec；IsaPlanner；时髦… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
科根（Cogent） 11份文件引用(2005–2018) 软件作者： 拜伦·库克；丹尼尔·克罗宁；娜塔莎·莎莉吉娜 相关软件： 卫星抗体；简化；旋转… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
芝诺牌手表 14篇文献引用(2012–2022) 软件作者： William Sonnex；索菲亚·德罗索波卢；苏珊·艾森巴赫 相关软件： HipSpec；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
电子邮件 12份文件引用（2013-2021） 软件作者： 丹尼尔·库尔温（Daniel Kühlwein）；斯蒂芬·舒尔茨（Stephan Schulz）；约瑟夫·乌尔班 相关软件： E定理证明器；VAMPIRE公司；MaLARea… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；几何（51-XX）…
穆斯卡迪特 10篇文献引用(1989–2021) 软件作者： 多米尼克·帕斯特 相关软件： 水獭；自动化；伊莎贝尔/采埃孚… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
萨帕托 11份文件引用(2004–2018) 软件作者： Ball，T.、Cook，B.、Lahiri，S.K.、Zhang，L。 相关软件： CVC-Lite；糠；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Speedith公司 9份文件引用(2012–2019) 软件作者： Urbas，M.、Jamnik，M.，Stapleton，G.、Flower，J。 相关软件： 超防；伊莎贝尔；迪亚贝利… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；凸和离散几何（52-XX）…
帕塞农 6篇文献引用(1989–2004) 软件作者： Bose，Soumitra；埃德蒙·克拉克（Edmund M.Clarke）。；Long，David E。；斯皮罗·米查洛夫 相关软件： 流星；SETHEO公司；巴黎… 主要字段： 计算机科学（68-XX）
平行 9份文件引用(1997–2014) 软件作者： 大卫·冯·奥海姆，托马斯·格里茨纳 相关软件： 拉尔夫；Isabelle/HOL；ARA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
电子几何教科书 7份文件引用(2010–2020) 软件作者： 陈晓宇 相关软件： Intergeo；GCLC；GeoGebra… 主要字段： 几何（51-XX）；计算机科学（68-XX）；数学教育（97-XX）
电动汽车 6篇文献引用(2001–2021) 软件作者： 拉尔斯-奥克·弗雷德隆德；迪利安·古罗夫；托马斯·诺尔；Mads大坝；托马斯艺术；根纳迪·楚格诺夫 相关软件： 埃尔朗；伊莎贝尔；Coq… 主要字段： 计算机科学（68-XX）
PREVAIL公司 5份文件引用(1992–2014) 软件作者： 多米尼克·博里奥内；劳伦斯·皮埃尔；阿什拉夫·塞勒姆 相关软件： Nuprl；辅酶MTU；Coquet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
伊曼德拉 5份文件引用(2020–2022) 软件作者： 格兰特·奥尼·帕斯莫尔（Grant Olney Passmore）、西蒙·克鲁恩斯（Simon Cruanes）、丹尼斯·伊格纳托维奇（Denis Ignatovich）、戴夫·艾特肯（Dave Aitken）、马特·布雷（Matt Bray 相关软件： VAMPIRE公司；SMT-LIB；芝诺… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
山核桃 4份文件引用(2022–2024) 软件作者： Reed Oei、Dun Ma、Christian Schulz、Philipp Hieronymi 相关软件： 核桃；组织环境信息系统；欧米茄+… 主要字段： 数论（11-XX）；计算机科学（68-XX）
壁龛 4份文件引用(2018–2021) 软件作者： 卡洛斯·奥拉特；伊莱恩·皮门特尔（Elaine Pimentel）；卡米洛·鲁埃达 相关软件： 奎珀；混合的；Coq… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
德纳利 3份文件引用(2006–2017) 软件作者： Rajeev Joshi、Greg Nelson、Keith Randall 相关软件： halp；代码提示；SyPet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
坎比 2份文件引用(2017–2019) 软件作者： Akhilesh Srikanth；Burak Sahin；威廉·R·哈里斯。 相关软件： 石笼SCC；CAVA LTL模型检查器；Coq… 主要字段： 计算机科学（68-XX）
向ATINF致敬 2份文件引用（2001年至2012年） 软件作者： 卡费拉、里卡多；尼古拉斯·佩尔蒂埃（Nicolas Peltier）；弗朗索瓦·普伊特 相关软件： GEX；日本国债交易所；发现者… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
凯洛伊 1份文件引用(2012) 软件作者： 马蒂亚斯·乌尔布里奇；乌尔里希·盖尔曼；艾尔·加齐（El Ghazi），阿布巴克·阿赫拉夫（Aboubakr Achraf）；马纳·塔赫迪里 相关软件： 雅典娜；JKelloy；KeY… 主要字段： 计算机科学（68-XX）