ETPS公司 165篇文献引用(1986–2024) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
Why3号机组 144篇文献引用(2004–2023) 软件作者： 弗朗索瓦·博博特；Jean-Christophe Filliátre；克劳德·马奇；纪尧姆·梅尔金德；安德烈·帕斯科维奇 相关软件： Coq；喀拉喀托；z3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
OMDoc公司 93篇文献引用(2001–2022) 软件作者： 迈克尔·科尔哈斯 相关软件： MMT；Coq；Mizar… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
veriSoft软件 76篇文献引用(2000–2022) 软件作者： 朱尔根·丁格尔 相关软件： 班德拉；自旋蛋白；Java PathFinder… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）…
马蒂塔 78篇文献引用(2007–2024) 软件作者： 安德烈亚·阿斯佩蒂（Andrea Asperti）；里奇奥蒂，威尔默；Sacerdoti Coen，Claudio；恩里科·塔西 相关软件： Coq；米扎尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
KIV公司 51篇文献引用(1988–2022) 软件作者： M.Heisel、B.Langenstein、W.Reif、G.Schellhorn、K.Stenzel、W.Stephan、A.Wolpers等人。 相关软件： Z；PVS；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
TeXmacs公司 15篇文献引用(2004–2021) 软件作者： Van Der Hoeven，J。 相关软件： Coq；伊莎贝尔；Isabelle/HOL… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；特殊功能（33-XX）…
校样通用套件 9份文件引用(2004–2012) 软件作者： 大卫·阿斯皮纳尔；吕斯，克里斯托夫；丹尼尔·温特斯坦 相关软件： 一般证明；Coq；OMDoc… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
辛迪JS 9份文件引用(2016–2021) 软件作者： 冯·盖格恩，马丁；乌尔里奇·科滕坎普；里希特·盖伯特（Jürgen Richter-Gebert）；迈克尔·斯特罗贝尔 相关软件： 灰姑娘；GeoGebra公司；CindyGL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；几何（51-XX）…
AGORA公司 2份文件引用(2013–2020) 软件作者： Ramel，J.Y.、Busson，S.、Demonet，M。 相关软件： SCRIBO公司；LAREX公司；JavaScript… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
伽马泰拉菌 引用于3份文件(2007–2009) 软件作者： Jones，J。；奥索，A。；M.哈罗德。 相关软件： Seesoft；蓝J；VizzAnalyzer… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
ACuLa博士 2份文件引用(2007–2012) 软件作者： Dale Vaillancourt、Rex Page、Matthias Felleisen 相关软件： DrScheme；ACL2；校样板… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
jsCoq公司 2份文件引用(2021–2022) 软件作者： 阿里亚斯，E.J.G.，宾，B.，朱弗洛特，P。 相关软件： github；Mathematica；SMT-RAT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）