阿格达 233份文件引用(1999–2024) 软件作者： 乌尔夫·诺雷尔 相关软件： Coq；哈斯克尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
大锤 165篇文献引用(2010–2023) 软件作者： Nik苏尔塔纳；Jasmin Christian布兰切特；劳伦斯·C·鲍尔森。 相关软件： Isabelle/HOL；伊莎贝尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
伊萨尔 156篇文献引用(2000–2024) 软件作者： 马卡里乌斯·温泽尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
一般证明 52篇文献引用(2000–2020) 软件作者： 大卫·阿斯皮纳尔 相关软件： Coq；伊莎贝尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；偏微分方程（35-XX）…
霍利·哈默 31份文件引用(2014–2022) 软件作者： 卡利西克，Cezary；约瑟夫·乌尔班 相关软件： HOL灯；VAMPIRE公司；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）
JProver公司 14篇文献引用（2001年至2020年） 软件作者： Schmitt，S.、Lorigo，L.、Kreitz，C.、Nogin，A 相关软件： 依兰CoP；精益CoP；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
伊曼德拉 5份文件引用(2020–2022) 软件作者： 格兰特·奥尼·帕斯莫尔（Grant Olney Passmore）、西蒙·克鲁恩斯（Simon Cruanes）、丹尼斯·伊格纳托维奇（Denis Ignatovich）、戴夫·艾特肯（Dave Aitken）、马特·布雷（Matt Bray 相关软件： VAMPIRE公司；SMT-LIB；芝诺… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Plat-Omega平台 3份文件引用(2007–2019) 软件作者： 马克·瓦格纳（Marc Wagner）；Serge Autexier；克里斯托夫·本兹穆勒 相关软件： 乳胶；OMDoc；MMTTeX… 主要字段： 计算机科学（68-XX）