HOL公司 593份文件引用(1985–2023) 软件作者： 迈克尔·J·C·戈登。 相关软件： 伊莎贝尔；Isabelle/HOL；ML… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
酯类 145篇文献引用(1985–2023) 软件作者： 杰拉德·贝瑞 相关软件： 卢斯特；信号；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
班德拉 105篇文献引用(2000–2023) 软件作者： 约翰·哈特克利夫；马修·德怀尔 相关软件： 自旋蛋白；Java PathFinder；veriSoft… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-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）…
VeriMAP公司 13份文件引用(2015–2022) 软件作者： De Angelis E、Fioravanti F、Pettorossi A、Proietti M 相关软件： z3；跟踪器；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
InVeSt公司 10篇文献引用(1999–2013) 软件作者： Bensalem S、Lakhnech Y、Owre S 相关软件： PVS；TREX公司；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
EVC公司 8份文件引用(2001–2012) 软件作者： 米罗斯拉夫·韦列夫（Miroslav N.Velev）。；Randal E.布莱恩特。 相关软件： Velev SAT基准；糠；伯克敏… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；计算机科学（68-XX）…
快速鸡 7份文件引用(2015–2022) 软件作者： Paraskevopoulou，佐伊；Hriţcu，科特林；邓内斯，马克西姆；莱昂尼达斯·兰普罗普洛斯；本杰明·皮尔斯。 相关软件： 快速检查；PVS；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
幸运 4份文件引用(2017–2021) 软件作者： Lampropoulos，列奥尼达斯；戴安·加洛瓦·旺；Hriţcu，科特林；约翰·休斯；本杰明·皮尔斯（Benjamin C.Pierce）。；夏、李耀 相关软件： Nitpick公司；快速检查；PVS… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
ASDeX公司 1份文件引用(2018) 软件作者： 马明宇（Mingyu Ma）、拉尔斯·赫德里奇（Lars Hedrich）、克里斯汀·斯波勒（Christian Sporrer） 相关软件： 狂喜；MiniSat；通过… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）