HOLyHammer公司 31份文件引用(2014–2022) 软件作者： 塞萨里·卡利西克；约瑟夫·厄本 相关软件： HOL灯；VAMPIRE公司；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）
MaLeCoP公司 30篇文献引用(2011–2023) 软件作者： Josef Urban、JiříVyskočil、PetrŠtěpánek 相关软件： E定理证明器；马拉雷亚；Mizar… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）
数学检查 13份文件引用(2015–2021) 软件作者： 明亮，柯蒂斯；维杰·加内什；阿尔伯特·海因勒；科齐里亚斯、伊利亚斯；赛义德·内贾蒂；Czarnecki，Krzysztof；爱德华·祖尔科斯基 相关软件： 枫树；山猫；FFTW… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
CAL公司 2份文件引用(2001) 软件作者： 佐藤、Masahiko；谷山由纪夫；武提伊祖米 相关软件： 定理；Coq；自动… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…