Matlab公司 软件作者：MathWorks公司 引用于： 13107出版物（1982–2024） 相关软件： Simulink；LMI工具箱；枫树；MATLAB ODE套件；ode23；ode45… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）
R（右） 软件作者：哈德利·威克姆；罗伯特·绅士；罗斯·伊哈卡；约翰·钱伯斯（John M.Chambers）；William N.Venables；布莱恩·里普利 引用于： 8589出版物（1978年至2023年） 相关软件： CRAN；SAS；质量（R）；ggplot2；S-PLUS；Matlab… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
数学软件 软件作者：Wolfram研究 引用于： 6255本出版物（1986年至2023年） 相关软件： 枫树；Matlab；R；SageMath；伊斯兰教；DLMF… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
枫树 软件作者：滑铁卢枫树公司。 引用于： 5241出版物（1983年至2023年） 相关软件： Mathematica；Matlab；伊斯兰教；岩浆；单一；减少… 主要字段： 数论（11-XX）；常微分方程（34-XX）；偏微分方程（35-XX）
组织环境信息系统 软件作者：尼尔·J·A·斯隆。；OEIS基金会。 引用于： 4441出版物（1973–2023） 相关软件： SageMath；间隙；Mathematica；DLMF；枫树；岩浆… 主要字段： 组合数学（05-XX）；数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）
岩浆 软件作者：西。Bosma，A.Steel、G.Matthews、D.Fisher、J.Cannon、S.Contini、B.Smith 引用于： 3481出版物（1994年至2023年） 相关软件： 间隙；SageMath；PARI/GP；单一；枫树；代码表… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）
UCI-毫升 软件作者：David Aha、Patrick Murphy、Christopher Merz、Eamonn Keogh、Cathy Blake、Seth Hettich、David Newman 引用于： 2718出版物（1995年至2022年） 相关软件： C4.5；LIBSVM；R；ElemStatLearn；AdaBoost.MH；PRMLT… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
间隙 软件作者：GAP集团 引用于： 3293出版物（1990年至2023年） 相关软件： 岩浆；SageMath；ATLAS集团代表；雪维；鹦鹉螺；葡萄… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；结合环与代数（16-XX）
github 软件作者：github公司 引用于： 3027出版物（2010-2022） 相关软件： R；Matlab；蟒蛇；亚当；TensorFlow；SageMath… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
DLMF公司 软件作者：丹尼尔·洛泽尔（Daniel W.Lozier）。 引用于： 3037出版物（2000年至2023年） 相关软件： Mathematica；Matlab；组织环境信息系统；切布冯；github；枫树… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；概率论与随机过程（60-XX）
CPLEX公司 软件作者：IBM公司 引用于： 2738本出版物（1992年至2023年） 相关软件： 古罗比；SCIP；GAMS；AMPL；MIPLIB公司；Matlab… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
蟒蛇 软件作者：吉多·范·罗苏姆 引用于： 1092出版物（1991年至2023年） 相关软件： SciPy；数字Py；Matplotlib；Scikit；Matlab；PyTorch… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
SageMath公司 软件作者：贤明的开发商；威廉·斯坦因；大卫·乔伊纳（David Joyner）；David Kohel；约翰·克雷莫纳；伯里钦·埃罗卡尔 引用于： 2140出版物（2002-2023） 相关软件： 岩浆；间隙；组织环境信息系统；单一；Sage-Combinat；PARI/GP… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）
麦考利2 软件作者：丹尼尔·格雷森（Daniel R.Grayson）。；迈克尔·E·斯蒂尔曼。；戴维·艾森巴德（David Eisenbud）；http://www.math.uiuc.edu/Macaulay2/贡献者/ 引用于： 2000年出版物（1988年至2023年） 相关软件： 单一；可可；SageMath；贝尔蒂尼；岩浆；枫树… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）
Coq公司 软件作者：克利斯朵夫·德林格；Jean-François Dufourd 引用于： 1827出版物（1993年至2022年） 相关软件： Isabelle/HOL；伊莎贝尔；HOL；PVS；HOL灯；数字（amp；N）… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）
罗德斯 软件作者：E.公司。G.Wanner Hairer 引用于： 1756本出版物（1989年至2022年） 相关软件： Matlab；歌曲15；MEBDF；MATLAB ODE套件；ode23；代码23s… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）
LAPACK公司 软件作者：LAPACK团队：lapack@cs.utk.edu 引用于： 1669份出版物（1988年至2023年） 相关软件： BLAS；ScaLAPACK；Matlab；mctoolbox；LINPACK；ARPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）
PETSc公司 软件作者：美国。巴莱，W.D.Gropp，L.C.McInnes，B.F.Smith 引用于： 1592出版物（1996年至2023年） 相关软件： FEniCS；炒作；MUMPS；SLEPc；特里利诺斯；Gmsh… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
ABAQUS公司 软件作者：Simulia（达索系统）；ABAQUS公司 引用于： 1585本出版物（1985-2023） 相关软件： UMAT；ABAQUS/标准；ABAQUS/显式；Matlab；ANSYS；LS-DYNA… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）
SAS公司 软件作者：SAS协会 引用于： 1426出版物（1976年至2023年） 相关软件： R；SAS/STAT；SPSS软件；Stata公司；S-PLUS；SAS/IML… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
ElemStatLearn（电子状态学习） 软件作者：杰蒂尔·哈沃森 引用于： 1509出版物（2001-2023） 相关软件： R；UCI-ml；PRMLT；glmnet；fda（R）；AdaBoost.MH… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
fda（右） 软件作者：J。O.Ramsay、Hadley Wickham、Spencer Graves、Giles Hooker 引用于： 1563出版物（1997年至2022年） 相关软件： R；半标准杆；ElemStatLearn；fda.usc；退款；KernSmooth… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
单一 软件作者：Wolfram Decker；格特·马丁·格雷尔（Gert-Martin Greuel）；格哈德·普菲斯特；汉斯·舍尼曼 引用于： 1537本出版物（1991年至2023年） 相关软件： 麦考利2号；可可；岩浆；SageMath；枫树；primdec… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）
mctoolbox软件 软件作者：尼克·海姆 引用于： 1539出版物（1995年至2023年） 相关软件： LAPACK；Matlab；mftoolbox；稀疏矩阵；BLAS；国际实验室… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）
LMI工具箱 软件作者：数学作品；Gahinet，P。；内米洛夫斯基，A。；劳布，A.J。；M.奇拉利。 引用于： 1459出版物（1995年至2023年） 相关软件： Matlab；控制系统工具箱；塞杜米；YALMIP；Mu分析与合成工具箱；SDPT3… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；运筹学、数学规划（90-XX）
自由Fem++ 软件作者：奥利维尔·皮罗内奥（Olivier Pironenau）、弗雷德里克·赫赫特（Frédéric Hecht）、安托万·勒海利奇（Antoine Le Hyaric）、雅克·莫里斯（Jacques Morice） 引用于： 1397出版物（2000年至2022年） 相关软件： FEniCS；PETSc；UMFPACK；交易.ii；Gmsh；MUMPS… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）
贝叶斯DA 软件作者：杰蒂尔·哈沃森 引用于： 1337份出版物（1997年至2022年） 相关软件： R；WinBUGS；斯坦；spBayes；PRMLT；卡爪… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
CUDA公司 软件作者：NVIDIA公司；佩特·文格曼；Frank H.P.菲泽克。 引用于： 1069出版物（2007-2023） 相关软件： OpenCL；CUBLAS；Matlab；保管；推力；MPI… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）
塞杜米 软件作者：斯图尔姆·J·F 引用于： 1292出版物（1999-2022） 相关软件： YALMIP；SDPT3；GloptiPoly；粪便；CVX；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
PRMLT公司 软件作者：C、。主教 引用于： 1117份出版物（2006年至2022年） 相关软件： UCI-ml；ElemStatLearn；PMTK；R；贝叶斯DA；亚当… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
伦敦银行支持向量机 软件作者：Chih-Chung Chang；林智仁 引用于： 943出版物（2002–2022） 相关软件： UCI-ml；LIBLINEAR；SVM灯；Matlab；C4.5；ElemStatLearn… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
引导数据库 软件作者：Rob Tibshirani、Friedrich Leisch 引用于： 1121出版物（1993年至2022年） 相关软件： R；bootlib；UCI-ml；ElemStatLearn；贝叶斯DA；牛… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
4.5条 软件作者：J.昆兰。；规则任务 引用于： 805本出版物（1991年至2022年） 相关软件： UCI-ml；R；威卡；AdaBoost.MH；LIBSVM；ElemStatLearn… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
VRP公司 软件作者：NEO：网络和新兴优化 引用于： 1126出版物（1981年至2023年） 相关软件： CVRPSP；禁忌搜索；CPLEX；TSPLIB；协和式飞机；LKH… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
基因科普 软件作者：Z.公司。米切莱维奇；G.纳希亚斯 引用于： 943出版物（1992–2022） 相关软件： 禁忌搜索；UCI-ml；C4.5；Matlab；CEC 05；SPEA2… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）
禁忌搜索 软件作者：弗雷德·格洛弗（Fred Glover）；埃里克·泰勒；多米尼克·德韦拉 引用于： 1027份出版物（1991年至2022年） 相关软件： 分散搜索；CPLEX；VRP；OR-库；TSPLIB；DIMACS… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）
YALMIP公司 软件作者：约翰·洛夫伯格 引用于： 1060出版物（2004–2023） 相关软件： 塞杜米；SDPT3；莫塞克；Matlab；粪便；GloptiPoly… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）
亚当 软件作者：Diederik P.Kingma、Jimmy Ba 引用于： 951份出版物（2016–2023） 相关软件： TensorFlow；ImageNet；PyTorch；AlexNet；github；DGM… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）
科恩平滑 软件作者：Wand，医学博士。；M.C.琼斯。；布莱恩·里普利 引用于： 983出版物（1993年至2022年） 相关软件： R；pyuvdata；fda（R）；半标准杆；SiZer；UCI-ml… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
HE-E1GODF公司 软件作者：E.F托罗 引用于： 989出版物（1997年至2023年） 相关软件： HLLE；澳大利亚统计局；MOOD；沙斯塔；雷亚尔；RODAS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
哈斯克尔 软件作者： – 引用于： 806本出版物（1989年至2022年） 相关软件： Coq；毫升；GHC；Isabelle/HOL；快速检查；莫德… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）
GAMS游戏 软件作者：GAMS开发公司，GAMS软件有限公司 引用于： 876本出版物（1984年至2022年） 相关软件： CPLEX；AMPL；MINOS；BARON公司；CONOPT公司；路径解算器… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
FEniCS公司 软件作者：剑桥大学、芝加哥大学、德克萨斯理工大学和KTH皇家理工学院Simula研究实验室 引用于： 843出版物（2007-2022） 相关软件： SyFi；PETSc；道芬；Gmsh；蟒蛇；交易.ii… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）
CVX公司 软件作者：迈克尔·格兰特；斯蒂芬·博伊德 引用于： 867出版物（2006–2022） 相关软件： 塞杜米；SDPT3；YALMIP；莫塞克；Matlab；PDCO… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
L-BFGS公司 软件作者：朱慈友；理查德·伯德。；吕培煌；豪尔赫·诺塞达尔 引用于： 844出版物（1981年至2022年） 相关软件： L-BFGS-B；LBFGS-B；切割机；可爱的；minpack；tn… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）
Stata公司 软件作者：StataCorp有限公司 引用于： 714出版物（1993–2023） 相关软件： R；SAS；SPSS软件；GLLAMM公司；SAS/STAT；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
ARPACK公司 软件作者：勒霍克；索伦森；杨 引用于： 836本出版物（1995年至2022年） 相关软件： 环境影响评价；JDQZ；JDQR；LAPACK；Matlab；Eigtool… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）
科学Py 软件作者：Jones，E.、Oliphant，T.、Peterson，P.等人。 引用于： 576本出版物（2005-2023年） 相关软件： 蟒蛇；数字Py；Matplotlib；Scikit；github；TensorFlow… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
伊波特 软件作者：安德烈亚斯·瓦希特（Andreas Waechter）、卡尔·莱尔德（Carl Laird） 引用于： 818份出版物（2005年至2023年） 相关软件： AMPL；SNOPT；CPLEX；邦明；SCIP；KNITRO… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
Simulink公司 软件作者：MathWorks公司 引用于： 692出版物（1994年至2024年） 相关软件： Matlab；歌曲15；状态流；MATLAB ODE套件；卡西姆；Modelica… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）
擅长 软件作者：微软 引用于： 522出版物（1989–2022） 相关软件： R；Matlab；SPSS软件；Visual Basic；Mathematica；SAS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
Gms小时 软件作者：Christophe Geuzaine，Jean-François Remacle 引用于： 798出版物（2003年至2023年） 相关软件： PETSc；FEniCS；ParaView；MUMPS；交易.ii；FreeFem++… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
古罗比 软件作者：宗豪古；Ed Rothberg；鲍勃·比克斯比；Gurobi Optimization公司。 引用于： 781出版物（2010-2023） 相关软件： CPLEX；SCIP；Ipopt；github；JuMP；Mosek… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）
量化风险管理 软件作者：伯恩哈德·普法夫；马吕斯·霍弗特；亚历山大·麦克尼尔；斯科特·乌尔曼 引用于： 786本出版物（2005-2022年） 相关软件： R；CopulaModel；copula；copula；伊斯梅夫；CAViaR… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
半标准杆 软件作者：马特·旺德；戴维·鲁珀特（David Ruppert）；卡罗尔，R.J。 引用于： 780本出版物（1996-2022） 相关软件： R；加迈尔；fda（R）；gss；WinBUGS；GAMLSS… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
WinBUGS公司 软件作者：David Spiegelhalter；安德鲁·托马斯；Nicky Best；戴夫·伦恩 引用于： 706出版物（1999-2022） 相关软件： R；贝叶斯DA；漏洞；JAGS；半标准杆；CODA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
ImageNet公司 软件作者：J。邓维东、R.Socher、L.-J.Li、K.Li、L.Fei-Fei 引用于： 693出版物（2010-2023） 相关软件： AlexNet；亚当；TensorFlow；PyTorch；CIFAR；darch… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
规范化工具 软件作者：克里斯汀·汉森（Per Christian Hansen） 引用于： 758出版物（1994年至2023年） 相关软件： UTV；LSQR；Matlab；IR工具；AIR工具；RestoreTools… 主要字段： 偏微分方程（35-XX）；算子理论（47-XX）；数值分析（65-XX）
稀疏矩阵 软件作者：蒂莫西·戴维斯（Timothy A Davis）；胡一凡 引用于： 739出版物（1997年至2022年） 相关软件： LAPACK；mctoolbox；Matlab；METIS公司；ILUT；HSL… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）
小背包 软件作者：Garbow B、Hillstrom K、More J 引用于： 752出版物（1979-2023） 相关软件： 切割机；L-BFGS；HYBRJ公司；可爱的；凯利；GQTPAR… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
减少 软件作者：Anthony C.Hearn；格哈德·雷纳（Gerhard Rayna）；Rainer Schöpf；托马斯·斯特姆 引用于： 735出版物（1970–2021） 相关软件： 枫树；Mathematica；伊斯兰教；DIMSYM公司；EXCALC；AXIOM… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）
自旋蛋白 软件作者：贝尔实验室 引用于： 593出版物（1990年至2022年） 相关软件： NuSMV；Uppaal；班德拉；Java PathFinder；贝博普；CESAR… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
ANSYS有限元分析软件 软件作者：John Swanson，Ansys公司。 引用于： 703出版物（1978–2023） 相关软件： ABAQUS；Matlab；FLUENT公司；ANSYS-CFX；纳斯特朗；APDL… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）
PDCO公司 软件作者：医学硕士桑德斯 引用于： 697出版物（1999-2023） 相关软件： CoSaMP；SPGL1；NESTA；glmnet；CVX；ElemStatLearn… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
伊莎贝尔 软件作者：拉里·保尔森（Larry Paulson）、托比亚斯·尼普科（Tobias Nipkow）、马卡里乌斯·温泽尔（Makarius Wenzel） 引用于： 704出版物（1990年至2022年） 相关软件： Isabelle/HOL；HOL；Coq；PVS；存档正式证据；ML… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）
伊斯兰教 软件作者：符号学 引用于： 713出版物（1971-2022） 相关软件： 枫树；Mathematica；减少；HIROTA.MAX公司；ATFM；Matlab… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
HLLE公司 软件作者：Harten，Amiram；Peter D.Lax。；范·利尔，布拉姆 引用于： 718出版物（1983年至2023年） 相关软件： HE-E1GODF；澳大利亚统计局；黎曼；HLLC；MOOD；AUSMPW+… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
Scikit公司 软件作者：费比安·佩德雷戈萨；加尔·瓦罗佐；亚历山大·格兰福特；文森特·米歇尔；贝特朗·蒂里昂；奥利维尔·格里塞尔（Olivier Grisel）；马修·布隆德尔；彼得·普雷滕霍弗（Peter Prettenhofer）；罗恩·维斯（Ron Weiss）；文森特·杜伯格（Vincent Dubourg）；Jake Vanderplas；亚历山大·帕索斯；大卫·库纳波（David Cournapeau）；马蒂厄·布鲁彻；马蒂厄·佩罗（Matthieu Perrot）；爱杜华·公爵夫人 引用于： 519出版物（2011-2023） 相关软件： 蟒蛇；SciPy；数字Py；TensorFlow；UCI-ml；GitHub… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
TSPLIB公司 软件作者：格哈德·雷内特 引用于： 689出版物（1991年至2022年） 相关软件： 协和式飞机；LKH；VRP；禁忌搜索；OR-库；CPLEX… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）
SDPT3系统 软件作者：Toh，K.C。；托德，M.J。；TüTüncü，R.H。 引用于： 701出版物（1986–2022） 相关软件： 塞杜米；YALMIP；CVX；SDPA；CSDP；Mosek… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
莫德 软件作者：Clavel，M。；杜兰，F。；艾克，S。；林肯，P。；新墨西哥州马丁·奥列特。；莫德团队 引用于： 619出版物（1984–2023） 相关软件： OBJ咖啡馆；OBJ3；ELAN；哈斯克尔；CASL；Coq… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
TensorFlow公司 软件作者：谷歌大脑团队；M.Abadi、A.Agarwal、P.Barham、E.Brevdo、Z.Chen、C.Citro、G.S.Corrado、A.Davis、J.Dean、M.Devin等人 引用于： 536本出版物（2016–2023） 相关软件： 亚当；PyTorch；凯拉斯；蟒蛇；ImageNet；GitHub… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）
SPSS软件 软件作者：IBM；诺曼·H·聂；C.哈德莱船体 引用于： 492出版物（1974年至2022年） 相关软件： SAS；R；Stata公司；擅长；Matlab；BMDP… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
z3（零3） 软件作者：微软研究院；莱昂纳多·德·莫拉；尼古拉·比约纳 引用于： 636本出版物（2001年至2022年） 相关软件： CVC4；SMT-LIB；Yices；Coq；Isabelle/HOL；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
PARI/GP公司 软件作者：亨利·科恩；卡里姆·贝拉巴斯（Karim Belabas）；PARI组 引用于： 668本出版物（1992年至2023年） 相关软件： 岩浆；SageMath；间隙；ecdata；Mathematica；LMFDB… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）
可可 软件作者：CoCoa-Team；洛伦佐·罗比亚诺 引用于： 655出版物（1989年至2023年） 相关软件： 麦考利2号；单一；CoCoALib；枫树；Mathematica；岩浆… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）
阿尔戈60 软件作者：Naur，P。；巴克斯，J.W。；等。 引用于： 646出版物（1959年至2022年） 相关软件： ALGOL 68；欧拉；损益表；Simula 67；COBOL；ML… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）
OR-库 软件作者：J.E.比斯利 引用于： 646本出版物（1985年至2022年） 相关软件： CPLEX；禁忌搜索；TSPLIB；背包；菜单-OKF；MOD-DIST… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）
Z树 软件作者：菲施巴赫大学。 引用于： 668份出版物（2001年至2022年） 相关软件： 奥赛；hroot；Stata公司；赌博；R；o树… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
长备忘录 软件作者：Jan Beran；布兰登·惠彻（Brandon Whitcher）；马丁·梅克勒 引用于： 654出版物（1994年至2023年） 相关软件： R；fda（R）；公牛；其mr；KernSmooth；SimEstFBM… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
Uppaal公司 软件作者：瑞典乌普萨拉大学；丹麦奥尔堡大学 引用于： 542出版物（1990年至2022年） 相关软件： 克罗诺斯；高科技；自旋蛋白；棱镜；NuSMV；IF-2.0… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
交易.ii 软件作者：Bangerth W、Hartman R、Kanschat G 引用于： 635本出版物（1999-2023） 相关软件： 特里利诺斯；PETSc；p4测试；FEniCS；UMFPACK；FreeFem++… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）
格尔姆奈特 软件作者：Jerome Friedman、Trevor Hastie、Rob Tibshirani 引用于： 625本出版物（2008年至2022年） 相关软件： R；ElemStatLearn；玻璃；UCI-ml；稀疏；PDCO… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
凯利 软件作者：C.T.凯利。 引用于： 649出版物（1995年至2022年） 相关软件： minpack；Matlab；L-BFGS；IMFIL；硝酚；DFO… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）
鹦鹉螺 软件作者：布伦丹·麦凯；阿道夫·皮佩诺 引用于： 644出版物（1988年至2022年） 相关软件： 踪迹；间隙；葡萄；组织环境信息系统；SageMath；岩浆… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；计算机科学（68-XX）
SIFT公司 软件作者：大卫·洛 引用于： 369份出版物（2006年至2022年） 相关软件： 冲浪；PCA-SIFT；PASCAL挥发性有机化合物；LIBSVM；ImageNet；Vlfeat… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
mf工具箱 软件作者：N。J.海姆 引用于： 637份出版物（2008年至2022年） 相关软件： mctoolbox；Matlab；MATLAB实验；Expokit；稀疏矩阵；Eigtool… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）
S-PLUS系统 软件作者：TIBCO软件公司。 引用于： 585出版物（1994年至2022年） 相关软件： R；MEMSS；SAS；lme4；半标准杆；nlme… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
AMPL公司 软件作者：福勒，R.，盖伊，D.M.，科尼根，B.W。 引用于： 607出版物（1989年至2022年） 相关软件： CPLEX；Ipopt；GAMS；SNOPT；MINOS；Matlab… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）
JDQZ公司 软件作者：D.R.福克马；G.L.G.Sleijpen；H.A.范德沃斯特 引用于： 612出版物（1996-2023） 相关软件： JDQR；ARPACK；环境影响评价；IRAM；lobpcg.m；LAPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）
切割机 软件作者：尼古拉斯·I.M.古尔德。；多米尼克·奥尔班；马桶，Philippe L 引用于： 614出版物（1994-2022） 相关软件： 可爱的；12月6日；L-BFGS；CG_DESCENT；兰斯洛特；minpack… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）
数字Py 软件作者：奥列芬特，T.E。 引用于： 296出版物（2000-2023） 相关软件： 蟒蛇；SciPy；Matplotlib；Scikit；大熊猫；TensorFlow… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
数学溢出 软件作者：Stack Exchange公司 引用于： 603出版物（2010-2022） 相关软件： 组织环境信息系统；SageMath；github；岩浆；间隙；DLMF… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）
糠 软件作者：Moskewicz，M.、Madigan，C.、Zhao，Y.、Zhang，L.和Malik，S 引用于： 544本出版物（2001-2022年） 相关软件： MiniSat；伯克敏；SATO；步行卫星；围攻；Velev SAT基准… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
超小卫星 软件作者：Niklas Eén、Niklas Sörensson 引用于： 559种出版物（2003年至2022年） 相关软件： 糠；伯克敏；z3；玲玲；PicoSAT；SATO… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
CRAN（起重机） 软件作者：cran.r-project.org网站/ 引用于： 376本出版物（2002年至2022年） 相关软件： R；ggplot2；卢比；质量（R）；生存；glmnet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
DIMACS公司 软件作者：D.S.约翰逊；M.技巧 引用于： 566出版物（1993年至2022年） 相关软件： 禁忌搜索；SATO；糠；步行卫星；稀疏矩阵；CPLEX… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）
IMSL数字库 软件作者：Visual Numerics公司。 引用于： 572出版物（1976-2020） 相关软件： SAS；Mathematica；ABAQUS；EISPACK；LINPACK；唠叨… 主要字段： 统计学（62-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
斯帕拉尔-奥尔马拉斯 软件作者：NASA兰利研究中心 引用于： 578出版物（1993年至2022年） 相关软件： PETSc；澳大利亚统计局；OpenFOAM；湍流建模；埃尔莎；梅蒂斯… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
开放式泡沫 软件作者：OpenCFD有限公司（ESI集团） 引用于： 554本出版物（2007-2022年） 相关软件： FLUENT公司；Matlab；ANSYS-CFX；Spalart-Allmaras；github；FEATFLOW… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）