HOL公司 593份文件引用(1985–2023) 软件作者： 迈克尔·J·C·戈登。 相关软件： 伊莎贝尔；Isabelle/HOL；ML… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
E定理证明器 233份文件引用(2001–2023) 软件作者： 斯蒂芬·舒尔茨 相关软件： VAMPIRE公司；TPTP；SPASS… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
CoLoR公司 40篇文献引用(2006–2022) 软件作者： F.Blanqui、W.Delobel、S.Coupet Grimal、S.Hinderer、A.Koprowski 相关软件： Coq；Isabelle/HOL；CeTA… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
小支票 18篇文献引用(2010–2022) 软件作者： Runciman，C.、Naylor，M.、Lindblad，F。 相关软件： 快速检查；哈斯克尔；Nitpick… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
快速鸡 7份文件引用(2015–2022) 软件作者： Paraskevopoulou，佐伊；Hriţcu，科特林；邓内斯，马克西姆；Lampropoulos，列奥尼达斯；本杰明·皮尔斯。 相关软件： 快速检查；PVS；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
摘要完整性 4份文件引用(2014–2018) 软件作者： 贾斯敏·克里斯蒂安·布兰切特；安德烈·波佩斯库；德米特里·特拉泰尔 相关软件： Isabelle/HOL；存档正式证据；FOL配件… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PLM公司 引用于3份文件(2020) 软件作者： 丹尼尔·基什内尔 相关软件： Isabelle/HOL；精益；逻辑键… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）
矩阵传感器 2份文件引用(2019–2021) 软件作者： T.V.H.普拉塔梅斯 相关软件： 存档正式证据；Jordan范式；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）