HOLyHammer公司 35篇文献引用(2014–2023) 软件作者： 塞萨里·卡利西克；约瑟夫·乌尔班 相关软件： 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）