HOL公司 603文件引用(1985–2024) 软件作者： 迈克尔·J·C·戈登。 相关软件： 伊莎贝尔；Isabelle/HOL；ML… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
酯类 144篇文献引用(1985–2023) 软件作者： 杰拉德·贝瑞 相关软件： 卢斯特；信号；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
班德拉 105篇文献引用(2000–2023) 软件作者： 约翰·哈特克利夫；马修·德怀尔 相关软件： 自旋蛋白；Java PathFinder；veriSoft… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
幸运 引用于4份文件(2017–2021) 软件作者： 莱昂尼达斯·兰普罗普洛斯；戴安·加洛瓦·旺；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）