低成本融资 164篇文献引用(1972–2024) 软件作者： 罗宾·米尔纳 相关软件： Coq；毫升；HOL… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）…
ETPS公司 162篇文献引用(1986–2022) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）…
萨塔拉克 67篇文献引用（2010年-2023年） 软件作者： 乍得·E·布朗；安德烈亚斯·提克（Andreas Teucke）；杰夫·萨克利夫（Geoff Sutcliffe）；弗兰克·泰伊；格特·斯莫尔卡；朱利安·巴克斯；克里斯·本兹米勒 相关软件： TPTP；Isabelle/HOL；LEO-II… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
IMPS公司 52篇文献引用(1990–2021) 软件作者： Farmer，William M。；约书亚·D·古特曼。；塞耶，F.哈维尔 相关软件： 伊莎贝尔；Nuprl；Coq… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）…
狮子座III 21篇文献引用(2015–2023) 软件作者： 亚历山大·斯蒂恩（Alexander Steen）；马克斯·维斯涅夫斯基（Max Wisniewski）；克里斯托夫·本兹穆勒 相关软件： Satallax公司；TPTP；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
雅典娜 10篇文献引用(2004–2017) 软件作者： 康斯坦丁·阿库达斯 相关软件： 雅典娜；HE-E1GODF；卡斯特罗… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
HOList公司 10篇文献引用(2020–2023) 软件作者： Kshitij Bansal、Sarah M.Loos、Markus N.Rabe、Christian Szegedy、Stewart Wilcox 相关软件： 谜；E定理证明器；FEMaLeCoP… 主要字段： 群论与推广（20-XX）；数值分析（65-XX）；计算机科学（68-XX）
RALL公司 9份文件引用(1997–2014) 软件作者： 大卫·冯·奥海姆，托马斯·格里茨纳 相关软件： 拉尔夫；Isabelle/HOL；ARA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
嵌入模式 8份文件引用（2017年-2023年） 软件作者： Gleißner，托拜厄斯；亚历山大·斯蒂恩（Alexander Steen）；克里斯托夫·本兹穆勒 相关软件： Nitpick公司；Isabelle/HOL；沙达拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
RGITL公司 8份文件引用(2014–2022) 软件作者： 格哈德·谢尔霍恩（Gerhard Schellhorn）；托凡、博格丹；吉登•恩斯特（Ernst，Gidon）；Pf“ahler，Jörg；Reif，Wolfgang 相关软件： 自旋蛋白；KIV；Dafny… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
LogiKEy公司 5份文件引用(2020–2022) 软件作者： Christoph Benzmüller、Xavier Parent、Leendert van der Torre 相关软件： Isabelle/HOL；Nitpick公司；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
UTP2型 5份文件引用(2010–2019) 软件作者： 安德鲁·布特菲尔德 相关软件： 硫苷；Isabelle/HOL；Isabelle/UTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TS公司# 2份文件引用（2014年至2017年） 软件作者： 尼基尔·斯瓦米；Fornet，塞德里克；拉斯托吉（Aseem Rastogi）；卡尔蒂基扬·巴尔干；Chen，Juan；支柱，Pierre-Yves；加文·比尔曼 相关软件： JavaScript；ProVerify；网址（Ur/Web）… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）