GMRFLib公司 408份文件引用(1991–2024) 软件作者： 哈瓦德街；莱昂哈德·赫尔德 相关软件： R；spBayes；贝叶斯DA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
水獭 326篇文献引用(1988–2023) 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺（Amor Montano）、何塞·阿尔弗雷多（Jose Alfredo）；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）；群论与推广（20-XX）…
ADOL-C公司 260篇文献引用(1991–2024) 软件作者： 安德烈亚·沃尔特（Andrea Walther）、安德烈亚斯·科瓦兹（Andreas Kowarz）、安德烈亚斯·格里万克（Andreas-Griewank） 相关软件： ADIFR；锥体；ADIC… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TISEAN公司 165篇文献引用(1999–2023) 软件作者： Rainer Hegger、Holger Kantz、Thomas Schreiber 相关软件： Matlab；K2；科学… 主要字段： 常微分方程（34-XX）；动力学系统和遍历理论（37-XX）；统计学（62-XX）…
CMA-ES公司 122篇文献引用(2004–2024) 软件作者： 汉森 相关软件： CEC 05；EGO；MultiMin… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿巴克斯 117篇文献引用(1996–2022) 软件作者： 小精灵，马蒂亚斯；卡斯滕·古特温格；迈克尔·Jünger；乔瓦尼·里纳尔迪 相关软件： CPLEX；MINTO公司；SYMPHONY… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ILOG时间表 88篇文献引用(1996–2023) 软件作者： C·勒帕佩 相关软件： CPLEX；炸薯条；JOBSHOP… 主要字段： 一般代数系统（08-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
Gecode公司 85篇文献引用(2007–2023) 软件作者： 克里斯蒂安·舒尔特（Christian Schulte），KTH皇家理工学院 相关软件： 微量锌；CPLEX；Choco… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
刻痕 87份文件引用(1997–2024) 软件作者： F.佩莱格里尼；J.罗曼 相关软件： METIS公司；稀疏矩阵；Chaco… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
JPEG2000年 61篇文献引用(2002–2023) 软件作者： Seo、Yeong Geon；Kim，Kwon Soo；Kim、Sung Gyun 相关软件： 蟒蛇；BM3D；视觉搜索… 主要字段： 欧氏空间（42-XX）的调和分析；数值分析（65-XX）；计算机科学（68-XX）…
TTTPLOTS公司 70篇文献引用(2007–2024) 软件作者： Aiex，Renata M。；莫里西奥·雷森德（Mauricio G.C.Resende）。；塞尔索·C·里贝罗。 相关软件： PERL；GRASP；irace… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
svd包 60篇文献引用(1994–2022) 软件作者： 迈克尔·W·贝里 相关软件： LAPACK；ARPACK；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
贝叶斯逻辑 46篇文献引用(2013–2022) 软件作者： 尼古拉斯·G·波尔森。；詹姆斯·G·斯科特。；杰西·温德尔 相关软件： R；tsbridge；CODA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
奥德赛 32篇文献引用(1996–2016) 软件作者： 罗斯坦，N.，达尔马斯，S.，加利戈，A 相关软件： ADIFR；TAMC；ADOL-C… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
NuMVC公司 20篇文献引用(2013–2023) 软件作者： 蔡少伟；苏凯乐；罗川；阿卜杜勒·萨塔尔 相关软件： CCLS；CCASat；irace… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CCASat卫星 17篇文献引用(2013–2023) 软件作者： 蔡少伟；苏凯乐 相关软件： CCLS；CCAnr；NuMVC… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；动力系统和遍历理论（37-XX）…
HISAT公司 12份文件引用（2017年至2024年） 软件作者： D.Kim、B.Langmead、S.L.Salzberg 相关软件： vg；三角形；蝴蝶结2… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
游戏萎缩 11份文件引用(2007–2022) 软件作者： 安德鲁·吉尔平；托马斯·桑德霍姆 相关软件： DeepStack；天秤座；AlphaZero… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
PaInleSS公司 10篇文献引用(2018–2023) 软件作者： 勒弗里克斯，卢多维奇；苏海卜·巴里尔；朱利安·索佩纳；Fabrice Kordon公司 相关软件： ManySAT；褶皱；Treengeling… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
斜坡 11份文件引用(2005–2023) 软件作者： 塞萨尔·雷戈 相关软件： 禁忌搜索；背包；分散搜索… 主要字段： 组合数学（05-XX）；有序，格，有序代数结构（06-XX）；计算机科学（68-XX）…
节点XL 7份文件引用(2013–2022) 软件作者： Shneiderman，Ben；科迪·邓恩 相关软件： 格菲；帕杰克；亚当… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
ODEA公司 4份文件引用(2008–2023) 软件作者： 马丁·厄尔里奇 相关软件： 古罗比；CPLEX；PlaNet公司 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
F2c2层 3份文件引用(2014–2019) 软件作者： 拉里米，A。；大卫·L。；塞尔比希，J。；A.博克迈尔。 相关软件： FFCA；efmtool；元工具… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；运筹学，数学规划（90-XX）…
蒙哥（Mongoose） 2份文件引用(2018–2020) 软件作者： Timothy A.戴维斯。；威廉·海格（William W.Hager）。；斯科特·科洛齐耶（Scott P.Kolodziej）。；S.Nuri Yeralan 相关软件： Matlab；SuiteSparse；MatrixMarket… 主要字段： 组合数学（05-XX）；运筹学，数学编程（90-XX）；生物学和其他自然科学（92-XX）
UFBoot2 2份文件引用(2019–2023) 软件作者： Hoang，D.T.、Chernomor，O.、von Haeseler，A.、Minh，B.Q.、Vinh，L.S。 相关软件： PHYLIP；引入；三重MaxCut… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；运筹学，数学规划（90-XX）…
纳贝科 1份文件引用(2013) 软件作者： 萨尔布吕肯Max-Planck-Institut für Informatik 相关软件： IsoRankN；IsoRank；娜塔莉… 主要字段： 组合数学（05-XX）；运筹学，数学编程（90-XX）；生物学和其他自然科学（92-XX）