HARP（HARP） 15篇文献引用(1990–2020) 软件作者： Opacher，F。；苏恩，E 相关软件： SETHEO公司；TPTP；3TAP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
BliStrTune公司 14篇文献引用(2017–2023) 软件作者： Josef Urban的Jan Jakubuv 相关软件： E定理证明器；吸血鬼；BliStr… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；几何（51-XX）…
芝诺牌手表 14篇文献引用(2012–2022) 软件作者： William Sonnex；索菲亚·德罗索波卢；苏珊·艾森巴赫 相关软件： HipSpec；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
自动变速器2 6篇文献引用(2016–2019) 软件作者： 詹伯华 相关软件： Isabelle/HOL；伊莎贝尔；Mizar… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数拓扑（55-XX）…
防手表 4份文件引用(2018–2021) 软件作者： 戈泽尔，查拉图斯特拉；Jakubův，Jan；斯蒂芬·舒尔茨（Stephan Schulz）；约瑟夫·乌尔班 相关软件： E定理证明器；BliStrTune；谜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SeaPearl公司 4份文件引用(2021–2023) 软件作者： 费利克斯的查卢梅乌；伊兰·库隆；卡帕特，昆汀；卢梭，路易斯·马汀 相关软件： NeuroSAT；AlphaGo；亚当… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
PRe学习 2份文件引用(2022–2023) 软件作者： 约瑟夫·里夫斯（Joseph E.Reeves）。；Heule，Marijn J.H。；Randal E.布莱恩特。 相关软件： CaDiCaL；帕拉库巴；基萨特… 主要字段： 计算机科学（68-XX）