HARP（HARP） 15篇文献引用(1990–2020) 软件作者： Opacher，F。；苏恩，E 相关软件： SETHEO公司；TPTP；3TAP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
匹配工具 9份文件引用（2018年至2024年） 软件作者： 胡安·克里亚多 相关软件： CoDEx；DsixTools；威尔逊… 主要字段： 组合数学（05-XX）；偏微分方程（35-XX）；粒子力学与系统（70-XX）…
灵巧的 8份文件引用(2019–2023) 软件作者： 本·格里帕约、戴夫·萨瑟兰 相关软件： 基本发电机；匹配工具；CoDEx… 主要字段： 可变形固体力学（74-XX）；量子理论（81-XX）；相对论与引力理论（83-XX）
苏格拉底 9份文件引用(1992–2018) 软件作者： 舒尔茨，M.，特里施勒，E.，萨弗特，T。 相关软件： 伯克敏；糠；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
梅林++ 4份文件引用(2022–2023) 软件作者： 中村、高崎；瑞安·默瑟（Ryan Mercer）；今村，Makoto；伊蒙·基奥 相关软件： SCRIMP++；UCR套件；mctoolbox… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
阿迪门·苏莫 2份文件引用(2015–2019) 软件作者： Alvez J.、Lucio P.、Rigau G 相关软件： 知识；雅高；BabelNet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ADTT公司 2份文件引用(2022–2023) 软件作者： X.Wang、L.T.Yang、Y.Wang和L.Ren、M.J.Deen 相关软件： 分裂；塔克MPI；TKPSVD… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）
MODPROF公司 2份文件引用(2001) 软件作者： 哈，詹斯 相关软件： Hilberticus；VAMPIRE公司；P.rex… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
文本猫 1份文件引用(2013) 软件作者： 库尔特·霍尼克；约翰·劳赫（Johannes Rauch）；克里斯蒂安·布赫塔；英戈·费内尔 相关软件： R；libTextCat；文本猫… 主要字段： 统计学（62-XX）；计算机科学（68-XX）