Matlab公司 13371文献引用(1982–2024) 软件作者： MathWorks公司 相关软件： Simulink；枫树；R、 … 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
R（右） 8772份文件引用(1978–2024) 软件作者： 哈德利·威克姆；罗伯特·绅士；罗斯·伊哈卡；约翰·钱伯斯（John M.Chambers）；William N.Venables；布莱恩·雷普利 相关软件： CRAN；ggplot2；SAS… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
数学软件 6337份文件引用(1986–2024) 软件作者： 沃尔夫勒姆研究公司 相关软件： 枫树；Matlab；R、 … 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
枫树 5303文件引用（1983年至2024年） 软件作者： 滑铁卢枫树公司。 相关软件： Mathematica；Matlab；马西玛… 主要字段： 数论（11-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
组织环境信息系统 引用于4961份文件(1973–2024) 软件作者： 尼尔·J·A·斯隆。；OEIS基金会。 相关软件： SageMath；间隙；DLMF… 主要字段： 组合数学（05-XX）；数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
github 3781份文件引用(2010–2023) 软件作者： github 相关软件： R；Matlab；Python… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
岩浆 3762份文件引用(1994–2023) 软件作者： W.Bosma、A.Steel、G.Matthews、D.Fisher、J.Cannon、S.Contini、B.Smith 相关软件： 间隙；SageMath；PARI/GP… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
UCI-毫升 2832份文件引用(1995–2023) 软件作者： David Aha、Patrick Murphy、Christopher Merz、Eamonn Keogh、Cathy Blake、Seth Hettich、David Newman 相关软件： C4.5；LIBSVM；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DLMF公司 3364份文件引用(2000–2024) 软件作者： 丹尼尔·洛泽尔（Daniel W.Lozier）。 相关软件： Mathematica；组织环境信息系统；Matlab… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；概率论与随机过程（60-XX）…
间隙 3322份文件引用(1990–2023) 软件作者： GAP集团 相关软件： 岩浆；SageMath；ATLAS集团代表… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；结合环和代数（16-XX）…
CPLEX公司 2886份文件引用(1992–2023) 软件作者： 国际商用机器公司 相关软件： 古罗比；SCIP；AMPL… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
蟒蛇 1289份文件中引用(1991–2024) 软件作者： 吉多·范罗苏姆 相关软件： 数字Py；SciPy；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SageMath公司 2177份文件引用(2002–2024) 软件作者： 贤明的开发商；威廉·斯坦因；大卫·乔伊纳（David Joyner）；David Kohel；约翰·克雷莫纳；伯里钦·埃罗卡尔 相关软件： 岩浆；间隙；OEIS… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
麦考莱2 2104年文献引用(1988–2024) 软件作者： 丹尼尔·格雷森（Daniel R.Grayson）。；迈克尔·E·斯蒂尔曼。；戴维·艾森巴德（David Eisenbud）；http://www.math.uiuc.edu/Macaulay2/贡献者/ 相关软件： 单一；可可；贝尔蒂尼… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
Coq公司 1882年文献引用(1993–2023) 软件作者： 克利斯朵夫·德林格；Jean-François Dufourd 相关软件： Isabelle/HOL；伊莎贝尔；HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
罗德斯 1834年文献引用(1989–2023) 软件作者： E.Hairer、G.Wanner 相关软件： Matlab；歌曲15；MEBDF… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
LAPACK公司 1689年文献引用(1988–2023) 软件作者： LAPACK团队：lapack@cs.utk.edu 相关软件： BLAS；ScaLAPACK；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PETSc公司 1692年文献引用(1996–2023) 软件作者： S.Balay、W.D.Gropp、L.C.McInnes、B.F.Smith 相关软件： FEniCS；炒作；MUMPS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
fda（右） 1701年文献引用(1997–2023) 软件作者： J.O.Ramsay、Hadley Wickham、Spencer Graves、Giles Hooker 相关软件： R；半标准杆；ElemStatLearn… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
ABAQUS公司 1655年文献引用(1985–2023) 软件作者： Simulia（达索系统）；ABAQUS公司 相关软件： ABAQUS/标准；UMAT；Matlab… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
萨斯 引用于1448份文件(1976–2023) 软件作者： SAS协会 相关软件： R；SAS/STAT；SPSS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学编程（90-XX）…
ElemStatLearn（电子状态学习） 1509年文献引用(2001–2023) 软件作者： 杰蒂尔·哈沃森 相关软件： R；UCI-ml；PRMLT… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
单一 1569年文献引用(1991–2024) 软件作者： Wolfram Decker公司；格特·马丁·格雷尔（Gert-Martin Greuel）；格哈德·普菲斯特；汉斯·舍尼曼 相关软件： 麦考利2号；可可；岩浆… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
自由Fem++ 1550年文献引用(2000–2024) 软件作者： 奥利维尔·皮罗内奥（Olivier Pironenau）、弗雷德里克·赫赫特（Frédéric Hecht）、安托万·勒海利奇（Antoine Le Hyaric）、雅克·莫里斯（Jacques Morice） 相关软件： FEniCS；PETSc；UMFPACK… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
mctoolbox软件 1539年文献引用(1995–2023) 软件作者： 尼克·海姆 相关软件： LAPACK；Matlab；mftoolx… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
亚当 1398年文献引用(2016–2023) 软件作者： Diederik P.Kingma、Jimmy Ba 相关软件： TensorFlow；PyTorch；ImageNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LMI工具箱 1476年文献引用(1995–2023) 软件作者： 数学工程；Gahinet，P。；内米洛夫斯基，A。；劳布，A.J。；M.奇拉利。 相关软件： Matlab；控制系统工具箱；YALMIP… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；运筹学，数学编程（90-XX）…
CUDA公司 引用于1138份文件（2007年至2024年） 软件作者： NVIDIA公司；佩特·文格曼；弗兰克·费泽克。 相关软件： OpenCL；CUBLAS；Matlab… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
贝叶斯DA 1335年文献引用(1997–2022) 软件作者： 杰蒂尔·哈沃森 相关软件： R；WinBUGS公司；斯坦… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
塞杜米 1322年文献引用(1999–2023) 软件作者： 斯图尔姆·J·F 相关软件： YALMIP；SDPT3；GloptiPoly… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
伦敦银行支持向量机 980份文件引用(2002–2024) 软件作者： Chih-Chung Chang；林智仁 相关软件： UCI-ml；LIBLINEAR；SVMlight… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PRMLT公司 1113文件引用(2006–2022) 软件作者： C.主教 相关软件： UCI-ml；ElemStatLearn；PMTK… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
引导数据库 1154份文件引用(1993–2023) 软件作者： Rob Tibshirani、Friedrich Leisch 相关软件： R；bootlib；ElemStatLearn… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
VRP公司 1167文件引用(1981–2023) 软件作者： NEO：网络和新兴优化 相关软件： CVRPSP；禁忌搜索；CPLEX… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
第4.5条 815份文件引用(1991–2023) 软件作者： J.昆兰。；规则查询 相关软件： UCI-ml；R；威卡… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
YALMIP公司 1125年文献引用(2004–2023) 软件作者： 约翰·洛夫伯格 相关软件： 塞杜米；SDPT3；Mosek… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
伊莎贝尔/HOL 1053文件引用(1996–2024) 软件作者： 沃尔夫冈·纳拉斯切夫斯基（Wolfgang Naraschewski）；托比亚斯·尼普科 相关软件： 伊莎贝尔；Coq；HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
禁忌搜索 1027份文件引用(1991–2022) 软件作者： 弗雷德·格洛弗（Fred Glover）；埃里克·泰勒；多米尼克·德韦拉 相关软件： 分散搜索；CPLEX；VRP… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
FEniCS公司 1016份文件引用(2007–2023) 软件作者： 剑桥大学、芝加哥大学、德克萨斯理工大学和KTH皇家理工学院Simula研究实验室 相关软件： SyFi；PETSc；道芬… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
HE-E1GODF公司 1034文件引用(1997–2023) 软件作者： E.F托罗 相关软件： HLLE；澳大利亚统计局；MOOD… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
SciPy公司 694份文件引用（2005年-2023年） 软件作者： Jones，E.、Oliphant，T.、Peterson，P.等人。 相关软件： 蟒蛇；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
古罗比 913文件引用(2010–2024) 软件作者： 宗豪古；Ed Rothberg；鲍勃·比克斯比；Gurobi Optimization公司。 相关软件： CPLEX；SCIP；GitHub… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
L-BFGS公司 923文件引用(1981–2023) 软件作者： 朱慈友；理查德·伯德。；吕培煌；豪尔赫·诺塞达尔 相关软件： L-BFGS-B；LBFGS-B；切割机… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
CVX公司 921文件引用(2006–2023) 软件作者： 迈克尔·格兰特；斯蒂芬·博伊德 相关软件： SDPT3；塞杜米；YALMIP… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TensorFlow公司 711份文件引用(2016–2023) 软件作者： 谷歌大脑团队；M.Abadi、A.Agarwal、P.Barham、E.Brevdo、Z.Chen、C.Citro、G.S.Corrado、A.Davis、J.Dean、M.Devin等人 相关软件： 亚当；PyTorch；Python… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ImageNet公司 789份文件引用(2010–2023) 软件作者： J.Deng、W.Dong、R.Socher、L.-J.Li、K.Li、L.Fei-Fei 相关软件： AlexNet；亚当；TensorFlow… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GAMS游戏 880篇文献引用(1984–2023) 软件作者： GAMS开发公司，GAMS软件有限公司 相关软件： CPLEX；AMPL；MINOS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Stata公司 745份文件引用(1993–2023) 软件作者： StataCorp有限公司 相关软件： R；SAS；SPSS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学编程（90-XX）…
ARPACK公司 867文件引用(1995–2024) 软件作者： 勒霍克；索伦森；杨 相关软件： 环境影响评价；JDQZ；JDQR… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
Scikit公司 633份文件引用(2011–2023) 软件作者： 费比安·佩德雷戈萨；加尔·瓦罗佐；亚历山大·格兰福特；米歇尔，文森特；贝特朗·蒂里昂；奥利维尔·格里塞尔（Olivier Grisel）；马修·布隆德尔；彼得·普雷滕霍弗（Peter Prettenhofer）；罗恩·维斯（Ron Weiss）；文森特·杜伯格（Vincent Dubourg）；Jake Vanderplas；帕索斯，亚历山大；大卫·库纳波（David Cournapeau）；马蒂厄·布鲁彻；马蒂厄·佩罗（Matthieu Perrot）；爱德华·杜伊斯奈 相关软件： 蟒蛇；SciPy；数字标识… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Gms小时 817份文件引用(2003–2023) 软件作者： Christophe Geuzaine，Jean-François Remacle 相关软件： FEniCS；PETSc；ParaView… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
Simulink公司 701文件引用(1994–2024) 软件作者： MathWorks公司 相关软件： Matlab；歌曲15；状态流… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
伊波特 820份文件引用(2005–2023) 软件作者： 安德烈亚斯·瓦希特（Andreas Waechter）、卡尔·莱尔德（Carl Laird） 相关软件： AMPL；SNOPT；CPLEX… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
量化风险管理 824份文件引用(2005–2023) 软件作者： 伯恩哈德·普法夫；马吕斯·霍弗特；亚历山大·麦克尼尔；斯科特·乌尔曼 相关软件： R；CopulaModel；连接词… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
WinBUGS公司 736份文件引用(1999–2023) 软件作者： David Spiegelhalter；安德鲁·托马斯；Nicky Best；戴夫·伦恩 相关软件： R；漏洞；贝叶斯DA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
小背包 770份文件引用(1979–2023) 软件作者： Garbow B、Hillstrom K、More J 相关软件： 切割机；L-BFGS；HYBRJ… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
规范化工具 759份文件引用(1994–2023) 软件作者： 汉森，Per Christian 相关软件： UTV；LSQR；Matlab… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
PDCO公司 引用于727份文件(1999–2023) 软件作者： 医学硕士桑德斯 相关软件： CoSaMP；SPGL1；内斯塔… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
自旋蛋白 614文件引用(1990–2023) 软件作者： 贝尔实验室 相关软件： NuSMV；Uppaal公司；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
ANSYS有限元分析软件 722份文件引用(1978–2023) 软件作者： John Swanson，Ansys公司。 相关软件： ABAQUS；Matlab；FLUENT… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
减少 736份文件引用(1970–2022) 软件作者： Anthony C.Hearn；格哈德·雷纳（Gerhard Rayna）；Rainer Schöpf；托马斯·斯特姆 相关软件： 枫树；Mathematica；马西玛… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
SDPT3系统 741份文件引用(1986–2024) 软件作者： Toh，K.C。；托德，M.J。；TüTüncü，R.H。 相关软件： 塞杜米；YALMIP；CVX… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HLLE公司 743份文件中引用(1983–2023) 软件作者： Harten，Amiram；Peter D.Lax。；范·利尔，布拉姆 相关软件： HE-e1-godf；澳大利亚统计局；黎曼… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
PyTorch公司 527份文件引用(2018–2023) 软件作者： A.Paszke、S.Gross、F.Massa、A.Lerer、J.Bradbury、G.Chanan、T.Killeen、Z.Lin、N.Gimelshein、L.Antiga、A.Desmaison、A.Kopf、E.Yang、Z.DeVito、M.Raison、A.Tejani、S.Chilamkurthy、B.Steiner、L.Fang、J.Bai、S.Chintala 相关软件： 亚当；TensorFlow；Python… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
z3（零3） 687份文件引用(2001–2023) 软件作者： 微软研究院；莱昂纳多·德·莫拉；尼古拉·比约纳 相关软件： CVC4；SMT-LIB；Yices… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
伊莎贝尔 704份文件引用(1990–2022) 软件作者： 拉里·保尔森（Larry Paulson）、托比亚斯·尼普科（Tobias Nipkow）、马卡里乌斯·温泽尔（Makarius Wenzel） 相关软件： Isabelle/HOL；霍尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
伊斯兰教 引用于716份文件(1971–2023) 软件作者： 符号学 相关软件： 枫树；Mathematica；减少… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TSPLIB公司 699份文件引用(1991–2023) 软件作者： 格哈德·雷内特 相关软件： 协和式飞机；LKH；VRP… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
交易.ii 693份文件引用(1999–2023) 软件作者： Bangerth W、Hartman R、Kanschat G 相关软件： 特里利诺斯；PETSc；FEniCS… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
SPSS软件 522份文件引用（1974年-2023年） 软件作者： IBM；诺曼·H·聂；C.哈德莱船体 相关软件： SAS；R；状态… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
莫德 632份文件引用(1984–2023) 软件作者： Clavel，M。；杜兰，F。；艾克，S。；林肯，P。；新墨西哥州马丁·奥列特。；莫德团队 相关软件： 咖啡馆；OBJ3；ELAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
数字Py 352份文件引用(2000–2023) 软件作者： 奥列芬特，T.E。 相关软件： 蟒蛇；SciPy；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
朱莉娅 535份文件引用(2014–2024) 软件作者： Bezanson J、Karpinski S、Shah VB、Edelman A 相关软件： github；JuMP；微分方程.jl… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
OR-库 663份文件引用(1985–2023) 软件作者： J.E.比斯利。 相关软件： CPLEX；禁忌搜索；TSPLIB… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
mf工具箱 引用于685份文件(2008–2023) 软件作者： N.J.海姆 相关软件： mctoolbox；Matlab；MATLAB扩展… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）…
CoCoA公司 661份文件引用(1989–2024) 软件作者： CoCoa-Team；洛伦佐·罗比亚诺 相关软件： 麦考利2号；单一；CoCoALib… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
PARI/GP公司 671份文件引用(1992–2023) 软件作者： 亨利·科恩；卡里姆·贝拉巴斯；PARI组 相关软件： 岩浆；SageMath；间隙… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
阿尔戈60 647份文件引用(1959–2022) 软件作者： Naur，P。；巴克斯，J.W。；等。 相关软件： ALGOL 68；欧拉；损益表… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
数学溢出 665份文件引用(2010–2023) 软件作者： Stack Exchange公司 相关软件： 组织环境信息系统；SageMath；GitHub… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
长备忘录 652份文件引用(1994–2023) 软件作者： Jan Beran；布兰登·惠彻（Brandon Whitcher）；马丁·梅克勒 相关软件： R；美国食品药品监督管理局（R）；牛… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
Uppaal公司 539份文件引用(1990–2022) 软件作者： 瑞典乌普萨拉大学；丹麦奥尔堡大学 相关软件： 克罗诺斯；高科技；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
鹦鹉螺 658份文件引用(1988–2023) 软件作者： 布伦丹·麦凯；阿道夫·皮佩诺 相关软件： 踪迹；间隙；葡萄… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
开放式泡沫 631份文件引用（2007年至2024年） 软件作者： OpenCFD有限公司（ESI集团） 相关软件： FLUENT公司；Matlab；Gmsh… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
格尔姆奈特 625篇文献引用(2008–2023) 软件作者： Jerome Friedman、Trevor Hastie、Rob Tibshirani 相关软件： R；ElemStatLearn；UCI-ml… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
AlexNet公司 618份文件引用(2014–2023) 软件作者： Alex Krizhevsky、Ilya Sutskever、Geoffrey E Hinton 相关软件： ImageNet；亚当；TensorFlow… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
凯利 引用于649份文件(1995–2022) 软件作者： C.T.凯利。 相关软件： minpack；Matlab；L-BFGS… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
PVS公司 612份文件引用(1993–2023) 软件作者： Sam Owre、Natarajan Shankar、John Rushby 相关软件： Coq；Isabelle/HOL；HOL… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
AMPL公司 628份文件引用(1989–2023) 软件作者： 福勒，R.，盖伊，D.M.，科尼根，B.W。 相关软件： CPLEX；Ipopt；游戏… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SIFT公司 375份文件引用(2006–2022) 软件作者： 大卫·罗伊 相关软件： 冲浪；PCA-SIFT；PASCAL VOC… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
S-PLUS系统 597份文件引用(1994–2023) 软件作者： TIBCO软件公司。 相关软件： R；MEMSS；SAS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
JDQZ公司 629份文件引用(1996–2023) 软件作者： D.R.福克马；G.L.G.Sleijpen；范德沃斯特 相关软件： JDQR；ARPACK；eigs… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
切割机 631份文件引用(1994–2023) 软件作者： 尼古拉斯·I.M.古尔德。；多米尼克·奥尔班；马桶，Philippe L 相关软件： 可爱；12月6日；L-BFGS… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SCIP公司 607篇文献引用(2005–2023) 软件作者： 特里斯坦·加里、杰拉尔德·加姆拉斯、帕特里克·杰曼德、安布罗斯·格莱克斯纳、罗伯特·戈特瓦尔德、格雷戈·亨德尔、克里斯托弗·霍尼、斯蒂芬·马赫、马蒂亚斯·米尔滕贝格、本杰明·米勒、马克·普费茨、弗兰齐斯卡·舍勒、菲利佩·塞拉诺、斯特凡·维格斯克、迪特尔·温格、雅各布·维齐格 相关软件： CPLEX；MIPLIB公司；古罗比… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
起重机 397份文件引用(2002–2023) 软件作者： cran.r-project.org网站/ 相关软件： R；ggplot2；接收… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
HOL公司 592份文件引用(1985–2023) 软件作者： 迈克尔·J·C·戈登。 相关软件： 伊莎贝尔；Isabelle/HOL；ML… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
糠 552份文件引用(2001–2023) 软件作者： Moskewicz，M.、Madigan，C.、Zhao，Y.、Zhang，L.和Malik，S 相关软件： 迷你卫星；伯克敏；SATO… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
FFTW公司 550篇文献引用(2000–2024) 软件作者： 麻省理工学院；马泰奥·弗里戈（Matteo Frigo）；史蒂文·约翰逊 相关软件： Matlab；ATLAS；LAPACK… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
超小卫星 561份文件引用(2003–2023) 软件作者： Niklas Eén、Niklas Sörensson 相关软件： 糠；伯克敏；z3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…