汉普 20篇文献引用(2012–2023) 软件作者： Ganesh，V.、Kieżun，A.、Artzi，S.、Guo，P.J.、Hooimeijer，P.、Ernst，M 相关软件： 陌生人；z3；S3… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
野牛 8份文件引用(2007–2021) 软件作者： 自由软件基金会。；R.Corbett；斯特尔曼 相关软件： YACC；弯曲；GitHub… 主要字段： 数理逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
埃尔克洪德 7份文件引用(2004–2014) 软件作者： 斯科特·麦克皮克（Scott McPeak）；Necula，George C。 相关软件： BRNGLR；ATERM；eSkel… 主要字段： 计算机科学（68-XX）
RLangG风机 7份文件引用(2008–2019) 软件作者： 克里斯托夫·库彻恩 相关软件： RNAsubopt；RNA折叠；枫树… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
X乌干达 4份文件引用(2005–2018) 软件作者： 布拉布兰德，克劳斯；莫勒，安德斯；迈克尔·施瓦茨巴赫。 相关软件： 放松NG；biXid；dk.brics.automon… 主要字段： 计算机科学（68-XX）
克利普卢斯 3份文件引用(2005–2022) 软件作者： 拉法尔·阿布拉莫维奇（Rafal Ablamowicz）；贝特弗里德·福泽 相关软件： 克利福德；比盖布拉；SymGroupAlgebra… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
牦牛牦牛 2份文件引用(2000–2009) 软件作者： 克拉伦德，尼尔斯；Niels Damgaard；迈克尔·施瓦茨巴赫。 相关软件： YACC；野牛；MONA公司 主要字段： 计算机科学（68-XX）