AProVE公司 171篇文献引用(2002–2023) 软件作者： Jürgen Giesl、Peter Schneider-Kamp、RenéThiemann 相关软件： 蒂罗尔；多终端；莫德… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；结合环与代数（16-XX）…
低成本融资 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）…
伊萨尔 156篇文献引用(2000–2024) 软件作者： 马卡里乌斯·温泽尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
凯伊迈拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
MPTP 0.2毫米 55份文件引用(2006–2021) 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；VAMPIRE公司；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
EasyCrypt公司 35篇文献引用(2011–2022) 软件作者： Barthe，Gilles公司；本杰明·格雷戈里；Sylvain Heraud；贝盖林，圣地亚哥·扎内拉 相关软件： Coq；F*；AVISPA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
HIP（热等静压） 33篇文献引用(2007–2023) 软件作者： 魏恩根；Huu Hai Nguyen；克里斯蒂娜·戴维；克里斯蒂安·吉尔吉纳（Cristian Gherghina）；Quang Loc Le；Ton-Chanh Le；阿桑卡亚·夏尔马 相关软件： 小脚；VeriFast公司；幻灯片… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
HOLyHammer公司 31份文件引用(2014–2022) 软件作者： 塞萨里·卡利西克；约瑟夫·乌尔班 相关软件： HOL灯；VAMPIRE公司；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）
GeoThms公司 26篇文献引用（2006年-2023年） 软件作者： 佩德罗·夸雷斯马；Predrag Janić 相关软件： GCL校准仪；GCLC；GeoGebra… 主要字段： 总体主题；藏品（00-XX）；几何（51-XX）；计算机科学（68-XX）…
火柴盒 24篇文献引用（2005年-2023年） 软件作者： J·沃尔德曼。 相关软件： AProVE；蒂罗尔；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
常春藤 21篇文献引用（2017年-2023年） 软件作者： McMillan，K.L.，Padon，O。 相关软件： 常春藤；z3；IronFleet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
狮子座III 21篇文献引用(2015–2023) 软件作者： 亚历山大·斯蒂恩（Alexander Steen）；马克斯·维斯涅夫斯基（Max Wisniewski）；克里斯托夫·本兹穆勒 相关软件： Satallax公司；TPTP；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
数学网 16篇文献引用(2000–2016) 软件作者： 杰根·齐默；迈克尔·科尔哈斯 相关软件： TPTP；水獭；PVS… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；常微分方程（34-XX）…
洛伊 9份文件引用(2002–2021) 软件作者： J.Siekmann、S.Hess、C.Benzmüller、L.Cheikhrouhou、A.Fiedler、H.Horacek、M.Kohlhase、K.Konrad、A.Meier、E.Melis、M.Pollet、V.Sorge 相关软件： TPTP；Coq；PVS… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）
TcT公司 10篇文献引用(2016–2021) 软件作者： Avanzini，M.、Moser，G.、Schaper，M。 相关软件： AProVE；z3；TiML… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
3拍 9份文件引用（2010年-2023年） 软件作者： Contejean，E.，Paskevich，A.，Urbain，X.，Courtieu，P.，Pons，O.，Forest，J。 相关软件： Isabelle/HOL；Coq；CoLoR… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
贝勒罗芬 8份文件引用（2017年-2023年） 软件作者： Nathan Fulton；斯特凡·米奇；布兰登·伯勒；安德烈·普拉泽 相关软件： 凯伊迈拉X；凯伊迈拉；ModelPlex… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
CITP公司 8份文件引用(2013–2023) 软件作者： 戈因纳，丹尼尔；张敏；千叶，Yuki；有本，安仁 相关软件： 莫德；咖啡馆；保监会… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
多个 6篇文献引用（2005年至2008年） 软件作者： 安德烈亚斯·梅耶（Andreas Meier）；艾丽卡·梅利斯 相关软件： Lambda-Clam；欧米茄；LOUI… 主要字段： 计算机科学（68-XX）
SMT至TPTP 5份文件引用(2015–2017) 软件作者： 鲍姆加特纳，P。 相关软件： TPTP；SMT-LIB；z3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
夸蒂 4份文件引用(2014–2023) 软件作者： Vivek Nigam；Reis，Giselle；莱昂纳多·利马 相关软件： 混合的；github；红杉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Symlog公司 3份文件引用(1994–2019) 软件作者： 弗雷德里克·波托拉罗。 相关软件： 3塔普；思想者 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
向ATINF致敬 2份文件引用(2001–2012) 软件作者： 卡费拉、里卡多；尼古拉斯·佩尔蒂埃（Nicolas Peltier）；弗朗索瓦·普伊格 相关软件： GEX；日本国债交易所；发现者… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Nusschecker（数字检查器） 2份文件引用(2020–2023) 软件作者： 丹尼尔·考夫曼（Daniela Kaufmann）；阿明·比尔 相关软件： 帕切克；博斯普鲁斯；RevSCA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
校样板 1份文件引用(2018) 软件作者： Caleb Eggensperger公司 相关软件： ACL2；ACuLa博士；DrJava… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
PyRes公司 2份文件引用(2020) 软件作者： 斯蒂芬·舒尔茨（Stephan Schulz）；亚当·皮斯 相关软件： VAMPIRE公司；iProver；E定理证明器… 主要字段： 计算机科学（68-XX）