超启发式 131篇文献引用（2001年至2024年） 软件作者： 彼得·考林（Peter Cowling）；格雷厄姆·肯德尔（Graham Kendall）；埃里克·苏贝加（Eric Soubeiga）；伯克·E 相关软件： 禁忌搜索；帕拉米尔斯；DIMACS… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
雅高 52篇文献引用（2009年-2023年） 软件作者： J.Hoffart、F.Suchanek、K.Berberich、G.Weikum、G.Kasneci 相关软件： DBpedia；自由基；WordNet… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；统计学（62-XX）…
魁北克省++ 24篇文献引用(2001–2018) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；马西莫·纳里扎诺；阿曼多·塔切拉 相关软件： QUBE公司；Quaffle；MiniSat… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
继电器IV 25篇文献引用(1987–2022) 软件作者： D.P.Bertsekas；曾荫权（P.Tseng） 相关软件： CPLEX；RELAX4；DIMACS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
克里姆 21篇文献引用(2011–2022) 软件作者： Vreeken J、Van Leeuwen M、Siebes A 相关软件： UCI-ml；StreamKrimp；MDL4BMF… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）…
皇家卫星 18篇文献引用(2008–2016) 软件作者： 结Pipatsrisawat；阿德南·达维切 相关软件： MiniSat；糠；PicoSAT… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
HARP（HARP） 15篇文献引用(1990–2020) 软件作者： Opacher，F。；苏恩，E 相关软件： SETHEO公司；TPTP；3TAP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
HyFlex公司 7份文件引用(2012–2021) 软件作者： 加布里埃拉·奥乔亚；马修·海德（Matthew Hyde）；乌龟，蒂姆；Jose A.Vazquez-Rodriguez。；詹姆斯·沃克（James Walker）；米歇尔·根德劳（Michel Gendreau）；格雷厄姆·肯德尔（Graham Kendall）；巴里·麦科勒姆（Barry McCollum）；安德鲁·帕克斯。；佩特罗维奇，萨尼亚；埃德蒙·伯克。 相关软件： 超启发式；Hyperion；帕拉米尔斯… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
穆斯卡迪特 10篇文献引用(1989–2021) 软件作者： 多米尼克·帕斯特 相关软件： 水獭；自动化；伊莎贝尔/采埃孚… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
摩尔 7份文件引用(1989–2000) 软件作者： L.埃舍曼 相关软件： 盐；蛋白质；LISP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
TUBA3号机组 8份文件引用(2012–2019) 软件作者： 帕帕尼科洛普洛斯，S.-A。；泽沃斯，A。 相关软件： ABAQUS/标准；阿巴夸斯；FEAPpv… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）
D*Lite系列 4份文件引用(2004–2019) 软件作者： 斯文·柯尼格（Sven Koenig）、马克西姆·利哈切夫（Maxim Likhachev） 相关软件： 基因组学；杰森；LARS… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
NMRDPP公司 7份文件引用(2006–2023) 软件作者： 蒂堡，S。；格雷顿，C。；斯莱尼，J。；价格，D。；卡班扎，F。 相关软件： 图形平面图；CPLEX；观察员… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
基因标记S 4份文件引用(2004–2017) 软件作者： Besemer J、Lomsadze A、Borodovsky M 相关软件： UniProt；InterProScan；EasyGene… 主要字段： 总体主题；藏品（00-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
GEPSO公司 5份文件引用(2021–2023) 软件作者： 塞迪吉扎德，达沃德；Ellips Masehian；Sedighizadeh，莫斯塔法；侯赛因·阿克巴里普尔 相关软件： SSA；GWO；GSA… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
DBLEARN公司 4份文件引用(1994–2004) 软件作者： 大卫·福杰（David Fudger）；霍华德·J·汉密尔顿。 相关软件： 冲刺；SLIQ；PlanMine公司 主要字段： 统计学（62-XX）；计算机科学（68-XX）
FOS/C公司 3份文件引用(2006–2012) 软件作者： Meyerhenke，Henning；托马斯·索尔瓦尔德 相关软件： PT-Scotch；DibaP；格拉克勒斯… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
POMO公司 3份文件引用(2022–2023) 软件作者： Yeong-Dae Kwon、Jinho Choo、Byoungjip Kim、Iljoo Yoon、Youngjune Gwon、Seungjai Min 相关软件： NeuroLKH；协和式飞机；古罗比… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
BGRMI公司 2份文件引用(2019–2020) 软件作者： Iglesias-Martinez LF、Kolch W、Santra T( 相关软件： 阿拉伯国家石油公司；KEGG；全球麻省理工学院… 主要字段： 生物学和其他自然科学（92-XX）
D*超轻 2份文件引用(2017–2019) 软件作者： 马西耶·普尔兹比尔斯基；芭芭拉·普茨 相关软件： D*Lite系列 主要字段： 变分法与最优控制；优化（49-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
AdaLED（自适应发光二极管） 1份文件引用(2023) 软件作者： 伊维卡·基奇；Vlachas，Pantelis R。；乔治·阿兰帕齐斯（Georgios Arampatzis）；查齐马诺拉基斯，迈克尔；吉巴斯、列奥尼达斯；Koumoutsakos，Petros公司 相关软件： github；odmd；OctNet… 主要字段： 流体力学（76-XX）；统计力学，物质结构（82-XX）
克朗 1份文件引用(2023) 软件作者： 卢卡·卡尔德罗尼；卢西亚诺·玛加拉；莫雷诺·马尔佐拉 相关软件： KronFit；Matlab公司 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
MPILS公司 1份文件引用(2023) 软件作者： 伊利亚斯·希米奇；埃尔·拉卡比（Er Raqabi），埃尔·梅迪（El Mehdi）；El Hachemi，尼扎尔；伊斯梅尔哈拉奥伊；Metrane，Abdelmoutalib；弗朗索瓦·索米斯 相关软件： AClib；SPOT；SMAC… 主要字段： 运筹学，数学编程（90-XX）