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）…
EVC公司 8份文件引用(2001–2012) 软件作者： 米罗斯拉夫·韦列夫（Miroslav N.Velev）。；Randal E.布莱恩特。 相关软件： Velev SAT基准；糠；BerkMin… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；计算机科学（68-XX）…