NQTHM公司 149份文件引用(1979–2022) 软件作者： 罗伯特·博伊尔（Robert S.Boyer）。；J.Strother摩尔 相关软件： 霍尔；ACL2；PVS… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；群论和推广（20-XX）…
ELAN公司 106篇文献引用(1996–2020) 软件作者： 彼得·博罗万斯基（Peter Borovansky）、埃里克·德普拉涅（Eric Deplagne）、克劳德·基什内尔（Claude Kirchner）、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳（Pierre-Etienne Moreau）、克里斯托夫·林盖森（Christophe 相关软件： 莫德；OBJ咖啡馆；OBJ3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
Ciao公司 56篇文献引用(1999–2022) 软件作者： Bueno，F.，Cabeza，D.，Carro，M.，Hermenegildo，M.、López-García，P.、Puebla，G。 相关软件： CiaoPP；SICStus公司；水星… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
质量管理清单 32篇文献引用(2007–2023) 软件作者： 托尔斯滕·阿滕柯奇；乔纳森·格拉塔奇 相关软件： QPL；奎珀；qGCL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几个复变量和分析空间（32-XX）…
HasCasl公司 17篇文献引用(2002–2015) 软件作者： Lutz Schr“oder；Till Mossakowski 相关软件： CASL；哈斯克尔；Hets… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
隐秘HOL 11份文件引用(2017–2023) 软件作者： Basin，D.，Lochbihler，A.，Sefidgar，S.R。 相关软件： Isabelle/HOL；归档正式校对；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
PrologCheck（序言检查） 3份文件引用(2014–2022) 软件作者： 阿马拉尔（Cláudio）；马里奥弗洛里多；维托尔·桑托斯·科斯塔 相关软件： K校准仪；K工具；快速检查… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
VeriStar公司 3份文件引用(2012–2016) 软件作者： 戈登·斯图尔特；Lennart Beringer；安德鲁·W·阿佩尔。 相关软件： Coq；jStar；小脚… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
拟Borel空间 2份文件引用(2017–2022) 软件作者： Michikazu Hirata、Yasuhiko Minamide、Tetsuya Sato 相关软件： 教会；霍尔；精益… 主要字段： 范畴理论；同调代数（18-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
派特尔 1份文件引用(2021) 软件作者： Algorand公司 相关软件： github；Coq公司 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）