得到 51篇文献引用(1991–2023) 软件作者： 伯恩哈德·库兹勒；沃尔，伯恩哈德；弗兰茨·温克勒 相关软件： Mathematica；枫树；马西玛… 主要字段： 一般性和全局性主题；藏品（00-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
iProver（iProver） 67篇文献引用(2008–2023) 软件作者： 康斯坦丁·科洛文 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
萨塔拉克 67篇文献引用(2010–2023) 软件作者： 乍得·E·布朗；安德烈亚斯·提克（Andreas Teucke）；杰夫·萨克利夫（Geoff Sutcliffe）；弗兰克·泰伊；格特·斯莫尔卡；朱利安·巴克斯；克里斯·本兹米勒 相关软件： TPTP；Isabelle/HOL；LEO-II… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
精益TAP 44篇文献引用(1994–2022) 软件作者： 贝恩哈德·贝克特；约阿希姆·波塞加 相关软件： SETHEO公司；TPTP；萨奇莫… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
Ltur公司 40篇文献引用(1988–2022) 软件作者： 米努克斯，M。 相关软件： HgMUS；数据日志；JBool… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
达尔文 28篇文献引用(2005–2023) 软件作者： Peter Baumgartner、Alexander Fuchs、Hans de Nivelle、Cesare Tinelli 相关软件： E-Darvin；TPTP；iProver… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
TRP公司++ 20篇文献引用(2004–2023) 软件作者： Hustadt，U.，Konev，B。 相关软件： NuSMV；SPASS；利维坦… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
ModLeanTAP模式 引用于19份文件(1998–2019) 软件作者： 贝恩哈德·贝克特；拉杰夫·戈尔 相关软件： 精益TAP；Coq；MSPASS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
fCube（多维数据集） 10篇文献引用(2010–2022) 软件作者： 毛罗·法拉利；佛罗伦萨，卡米洛；吉多·菲奥里诺 相关软件： ILTP；Imogen；IntHistGC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
国际历史GC 4份文件引用(2014–2022) 软件作者： 拉杰夫·戈尔；吉米·汤姆森；吴杰西 相关软件： fCube；ILTP；直觉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）