VAMPIRE公司 308份文件引用(1985–2023) 软件作者： 亚历山大·里亚扎诺夫；安德烈·沃龙科夫 相关软件： TPTP；E定理证明器；SPASS… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几何（51-XX）…
iPiano公司 142篇文献引用(2014–2024) 软件作者： Ochs，Peter；陈云锦；托马斯·布罗克斯（Thomas Brox）；托马斯·波克 相关软件： iPiasco；UNLocBoX；L-BFGS… 主要字段： 算子理论（47-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
达尔文 28篇文献引用(2005–2023) 软件作者： Peter Baumgartner、Alexander Fuchs、Hans de Nivelle、Cesare Tinelli 相关软件： E-Darvin；TPTP；iProver… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）