GMRF库 408份文件引用(1991–2024) 软件作者： 哈瓦德街；莱昂哈德·赫尔德 相关软件： R；spBayes；贝叶斯DA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
水獭 326篇文献引用(1988–2023) 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺，何塞·阿尔弗雷多；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
青少年-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）…
西洋陆军棋 77份文件引用(2001–2022) 软件作者： 埃尔科·维瑟 相关软件： 莫德；汤姆；ELAN… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
JPEG2000格式 61篇文献引用(2002–2023) 软件作者： Seo、Yeong Geon；Kim，Kwon Soo；金成均 相关软件： 蟒蛇；BM3D；VisualSEEk… 主要字段： 欧氏空间（42-XX）的调和分析；数值分析（65-XX）；计算机科学（68-XX）…
ttt批次 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) 软件作者： 尼古拉斯·波尔森（Nicholas G.Polson）。；詹姆斯·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）…
LoTREC公司 29篇文献引用(2001–2023) 软件作者： 奥利维尔·盖斯克特（Olivier Gasquet）；安德烈亚斯·赫尔齐格；多米尼克·朗金；穆罕默德·萨哈德 相关软件： PVS；SPASS；E定理证明… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
修订版X 16篇文献引用(2015–2023) 软件作者： Naumov，M。；阿萨耶夫，M。；卡斯通圭，P。；科恩，J。；J·德茅斯。；伊顿，J。；Layton，S。；马尔科夫斯基，N。；Reguly，I。；Sakharnykh，N。；塞拉潘，V。；斯特佐德卡，R。 相关软件： CUDA；炒作；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
NuMVC公司 20篇文献引用(2013–2023) 软件作者： 蔡少伟；Su，Kaile；罗川；阿卜杜勒·萨塔尔 相关软件： 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) 软件作者： 安德鲁·吉尔平（Andrew Gilpin）；托马斯·桑德霍姆 相关软件： DeepStack；天秤座；AlphaZero… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MIQR公司 12份文件引用（2006年至2022年） 软件作者： 李娜；优素福·萨阿德 相关软件： 稀疏矩阵；SuiteSparseQR；HSL… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）…
DistDLB（分布式数据库） 10篇文献引用(2006–2021) 软件作者： 兰志玲；瓦莱丽·泰勒（Valerie E.Taylor）。；李亚伟 相关软件： PETSc；帕拉梅什；ParFUM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-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) 软件作者： 施奈德曼，本；科迪·邓恩 相关软件： 格菲；帕杰克；亚当… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
奥科蒂洛 10篇文献引用(2000–2016) 软件作者： Goldman，Deborah；Istrail，Sorin；朱塞佩·兰西亚；安东尼奥·皮科波尼；布莱恩·瓦伦茨 相关软件： – 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PowerGraph（功率图） 8份文件引用(2015–2022) 软件作者： J.E.Gonzalez、Y.Low、H.Gu、D.Bickson、C.Guestrin 相关软件： 普雷格尔；图X；图形实验室… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
合金* 7份文件引用(2017–2023) 软件作者： Milicevic，A.，Near，J.P.，Kang，E.，Jackson，D。 相关软件： z3；波尔多；GitHub… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
压裂混凝土 8份文件引用(2019–2022) 软件作者： 安德烈·福诺；Ngo，Tri-Dat；Noetinger，Benoit；克里斯蒂安·拉博德里 相关软件： dfn工程；Gmsh；DuMuX… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
埃尔马普 5份文件引用（2005年至2016年） 软件作者： Gorban，A。；A.齐诺维耶夫。 相关软件： UCI-ml；公共通道；CellPublisher… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
Gunrock公司 3份文件引用(2018–2021) 软件作者： 王扬子浩、潘跃超、安德鲁·戴维森、吴宇铎、杨卡尔、王乐源、穆罕默德·奥萨马、袁晨山、刘伟棠、安迪·里弗尔、约翰·欧文斯 相关软件： 促进；github；快照… 主要字段： 组合数学（05-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.Davis）。；威廉·海格（William W.Hager）。；斯科特·科洛齐耶（Scott P.Kolodziej）。；S.Nuri Yeralan 相关软件： Matlab；SuiteSparse；MatrixMarket… 主要字段： 组合数学（05-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
尼日利亚货币基金组织 2份文件引用（2021年） 软件作者： 马林卡？伊特尼克；布拉日·祖潘 相关软件： UCI-ml；NetworkX公司 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SlackIdeals公司 2份文件引用(2022–2023) 软件作者： 安东尼奥·马奇亚（Antonio Macchia）、艾米·威比（Amy Wiebe） 相关软件： 麦考利2号；2L_枚举 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
AptRank排名 2份文件引用(2020–2021) 软件作者： Jiang，B.、Kloster，K.、Gleich，D.F.、Gribskov，M。 相关软件： EGAD；差异统计；等级… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；生物学和其他自然科学（92-XX）
西米德 2份文件引用(2016) 软件作者： 莉莉娅·拉米雷斯、尤利娅·盖尔、玛丽·汤普森、艾琳·德维拉、马特·麦克弗森 相关软件： 基蒂；darch；cov测试 主要字段： 组合数学（05-XX）；统计学（62-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）
排名合并 1份文件引用(2019) 软件作者： 莱昂内尔·塔布利埃；Daniel F.Bernardes。；安妮·索菲·利伯特；兰比奥特，雷诺 相关软件： LinkBoost；Scikit公司 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…