ETPS公司 163篇文献引用（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）…
OMDoc公司 93篇文献引用(2001–2022) 软件作者： 迈克尔·科尔哈斯 相关软件： MMT；Coq；米扎尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-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）…
TeXmacs公司 15篇文献引用(2004–2021) 软件作者： Van Der Hoeven，J。 相关软件： Coq；伊莎贝尔；Isabelle/HOL… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；特殊功能（33-XX）…
MACOM公司 6篇文献引用(1993–2013) 软件作者： M.Sczittnick，Ch.Wysocki；穆勒-克洛斯特曼，B。 相关软件： HOL；政治公众人物服务；VESTA… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
jsCoq公司 2份文件引用(2021–2022) 软件作者： 阿里亚斯，E.J.G.，宾，B.，朱弗洛特，P。 相关软件： github；Mathematica；SMT-RAT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）