Matlab公司 14658份文件引用(1982–2025) 软件作者： MathWorks公司 相关软件： Simulink；LMI工具箱；MATLAB ODE套件… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
R（右） 10133份文件引用(1978–2024) 软件作者： 哈德利·威克姆；先生，罗伯特；罗斯·伊哈卡（Ross Ihaka）；约翰·钱伯斯（John M.Chambers）。；William N.Venables。；布莱恩·里普利。 相关软件： CRAN；ggplot2；SAS… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
数学软件 6822文件引用(1986–2024) 软件作者： 研究，Wolfram 相关软件： 枫树；Matlab；R、 … 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
枫树 5474份文件引用(1983–2024) 软件作者： 滑铁卢枫树公司。 相关软件： Mathematica；Matlab；岩浆… 主要字段： 数论（11-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
组织环境信息系统 5526份文件引用(1973–2025) 软件作者： 尼尔·J·A·斯隆。；OEIS基金会。 相关软件： SageMath；DLMF；数学… 主要字段： 组合数学（05-XX）；数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
github 5232份文件引用(2010–2024) 软件作者： github 相关软件： R；亚当；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
岩浆 4134份文件引用(1994–2024) 软件作者： 博斯马，W。；钢，A。；马修斯，G。；费希尔，D。；坎农，J。；康蒂尼，S。；Smith，B。 相关软件： 间隙；SageMath；代码表… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
DLMF公司 3972份文件引用(2000–2024) 软件作者： 丹尼尔·洛泽尔（Daniel W.Lozier）。 相关软件： 数学；Matlab；OEIS… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；概率论与随机过程（60-XX）…
UCI毫升 3178份文件引用(1995–2024) 软件作者： 啊哈，大卫；帕特里克·墨菲（Patrick Murphy）；克里斯托弗·默兹（Christopher Merz）；伊蒙·基奥；凯西·布莱克；塞斯·赫蒂奇（Seth Hettich）；大卫·纽曼 相关软件： C4.5；LIBSVM；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
间隙 3777份文件引用(1990–2024) 软件作者： GAP组 相关软件： 岩浆；SageMath；ATLAS集团代表… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
CPLEX公司 3045份文件引用(1992–2024) 软件作者： 国际商用机器公司 相关软件： 古罗比；SCIP；AMPL… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
蟒蛇 1613年文献中引用(1991–2025) 软件作者： 罗苏姆，吉多·凡 相关软件： SciPy；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SageMath公司 2730份文件中引用(2002–2024) 软件作者： 开发商，圣人；威廉·斯坦因（William Stein）；戴维·乔伊纳（David Joyner）；大卫·科尔；约翰·克雷莫纳（John Cremona）；伯里钦·埃罗卡尔 相关软件： 岩浆；间隙；GitHub… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
麦考利2 2330份文件引用(1988–2024) 软件作者： 丹尼尔·格雷森。；迈克尔·E·斯蒂尔曼。；戴维·艾森巴德（David Eisenbud）；http://www.math.uiuc.edu/Macaulay2/贡献者/ 相关软件： 单一；可可；SageMath… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
亚当 2037年文献引用(2016–2024) 软件作者： Kingma，Diederik P。；巴，吉米 相关软件： PyTorch；TensorFlow；ImageNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Coq公司 2020年文件引用(1993–2024) 软件作者： 克利斯朵夫·德林格；Jean-François Dufourd 相关软件： 伊莎贝尔·霍尔；伊莎贝尔；HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
ElemStatLearn（电子状态学习） 1896年文献引用(2001–2024) 软件作者： 凯蒂尔·哈沃森 相关软件： R；UCI-ml；PRMLT… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LAPACK公司 1787年文献引用(1988–2024) 软件作者： LAPACK团队：lapack@cs.utk.edu 相关软件： BLAS；ScaLAPACK；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
单一 1678年文献引用(1991–2024) 软件作者： 沃尔夫拉姆·戴克（Wolfram Decker）；格特·马丁·格雷尔（Gert-Martin Greuel）；格哈德·普菲斯特；汉斯·施奈曼 相关软件： 麦考利2号；可可；SageMath… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
MC工具箱 1686年文献引用(1995–2024) 软件作者： 尼克·海姆 相关软件： LAPACK；Matlab；mftoolx… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
贝叶斯DA 1642年文献引用(1997–2024) 软件作者： 凯蒂尔·哈沃森 相关软件： R；WinBUGS；斯坦… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
PRMLT公司 1444年文献引用(2006–2024) 软件作者： C·毕晓普。 相关软件： UCI-ml；ElemStatLearn；亚当… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CUDA公司 引用于1259份文件(2007–2024) 软件作者： NVIDIA；佩特·文格曼；Frank H.P.菲泽克。 相关软件： OpenCL；CUBLAS；Matlab… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
LMI工具箱 1517年文献引用(1995–2024) 软件作者： 数学作品；Gahinet，P。；内米洛夫斯基，A。；劳布，A.J。；M.奇拉利。 相关软件： Matlab；控制系统工具箱；YALMIP… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；运筹学，数学规划（90-XX）…
伊莎贝尔/HOL 1420年文献引用(1995–2024) 软件作者： 沃尔夫冈·纳拉斯切夫斯基（Wolfgang Naraschewski）；托比亚斯·尼普科夫 相关软件： Coq；伊莎贝尔；HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
塞杜米 1407年文献引用(1999–2024) 软件作者： 斯特姆，J.F 相关软件： YALMIP；SDPT3；GloptiPoly… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
YALMIP公司 1297年文献引用(2004–2024) 软件作者： 约翰·Löfberg 相关软件： 塞杜米；莫塞克；SDPT3… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FEniCS公司 1252年文献引用(2007–2024) 软件作者： Simula研究实验室；剑桥大学；芝加哥大学；德克萨斯理工大学；瑞典皇家理工学院 相关软件： SyFi；PETSc；道芬… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
VRP公司 1263文件引用(1981–2024) 软件作者： NEO：网络和新兴优化 相关软件： CVRPSP；CPLEX；禁忌搜索… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
科学Py 886份文件引用(2005–2024) 软件作者： 琼斯，E。；奥列芬特，T。；彼得森，P。 相关软件： 蟒蛇；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
古罗比 1166份文件引用(2010–2024) 软件作者： 顾宗豪；Ed Rothberg；鲍勃·比克斯比；Gurobi Optimization公司。 相关软件： CPLEX；SCIP；GitHub… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
TensorFlow公司 941文件引用(2016–2024) 软件作者： 谷歌大脑团队；M.Abadi、A.Agarwal、P.Barham、E.Brevdo、Z.Chen、C.Citro、G.S.Corrado、A.Davis、J.Dean、M.Devin；等。 相关软件： 亚当；PyTorch；Keras… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ImageNet公司 1012文件引用(2010–2024) 软件作者： 邓，J。；Dong，W。；Socher，R。；李立杰。；李凯。；费菲，L。 相关软件： AlexNet；亚当；TensorFlow… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HE-E1GODF公司 1150份文件引用(1997–2024) 软件作者： E.F托罗 相关软件： HLLE；澳大利亚统计局；MOOD… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
L-BFGS公司 1037文件引用(1981–2024) 软件作者： 朱慈友；理查德·伯德。；吕培煌；豪尔赫·诺塞达尔 相关软件： L-BFGS-B；LBFGS-B；切割机… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
AUTO（自动） 1045份文件引用(1981–2024) 软件作者： 多德尔；尤西比乌斯；Alan Champneys；法比奥·德科尔；托马斯·费尔格雷夫；库兹涅佐夫，尤里；巴特·奥尔德曼；Randy Paffenroth；比约恩·桑斯特德；王宪军；张成海 相关软件： AUTO-07P；HomCont；自动-86… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
CVX公司 1036份文件引用(2006–2024) 软件作者： Michael Grant；斯蒂芬·博伊德 相关软件： SDPT3；塞杜米；YALMIP… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Scikit公司 795份文件中引用(2011–2024) 软件作者： 费边佩德雷戈萨；加尔·瓦罗佐；亚历山大·格兰福特；文森特·米歇尔；贝特朗·蒂里昂；奥利维尔·格里塞尔（Olivier Grisel）；马修·布隆德尔；彼得·普雷滕霍弗（Peter Prettenhofer）；罗恩·维斯（Ron Weiss）；文森特·杜伯格（Vincent Dubourg）；Jake Vanderplas；亚历山大·帕索斯；大卫·库纳波（David Cournapeau）；马蒂厄·布鲁彻；马蒂厄·佩罗（Matthieu Perrot）；爱杜华·公爵夫人 相关软件： 蟒蛇；SciPy；TensorFlow… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PyTorch公司 798份文件引用(2018–2024) 软件作者： Paszke，A。；毛重，S。；马萨，F。；Lerer，A。；布拉德伯里，J。；Chanan，G。；基林，T。；林，Z。；Gimelshein，N。；安提瓜，L。；Desmaison，A。；Kopf，A。；杨，E。；德维托，Z。；Raison，M。；特贾尼，A。；Chilamkurthy，S。；斯坦纳，B。；方，L。；Bai，J。；南卡罗来纳州钦塔拉。 相关软件： 亚当；TensorFlow；Python… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
哈斯克尔 849份文件引用(1989–2024) 软件作者： – 相关软件： Coq；毫升；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
ARPACK公司 903份文件引用(1995–2024) 软件作者： Lehoucq；索伦森；杨 相关软件： 环境影响评价；JDQZ；JDQR… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
朱莉娅 725份文件引用(2014–2024) 软件作者： Bezanson，J。；卡宾斯基，S。；沙阿，V.B。；爱德曼，A。 相关软件： github；JuMP；微分方程.jl… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
AlexNet公司 849份文件引用(2014–2024) 软件作者： Alex Krizhevsky；伊利亚·萨茨克弗；杰弗里·辛顿 相关软件： ImageNet；亚当；TensorFlow… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
数字Py 477份文件引用(2000–2024) 软件作者： 奥列芬特，T.E。 相关软件： 蟒蛇；SciPy；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
z3（零3） 800篇文献引用(2001–2024) 软件作者： 微软研究部；莱昂纳多·德·莫拉；尼古拉·比约纳 相关软件： CVC4；SMT-LIB；伊塞斯… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
数学溢出 827份文件引用(2010–2024) 软件作者： Stack Exchange公司 相关软件： 组织环境信息系统；SageMath；GitHub… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
PDCO公司 777份文件引用(1999–2024) 软件作者： 医学硕士桑德斯 相关软件： CoSaMP；SPGL1；NESTA… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
小背包 801文件引用(1979–2024) 软件作者： Garbow，B。；Hillstrom，K。；莫尔，J。 相关软件： 切割机；L-BFGS；HYBRJ… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
SDPT3型 781文件引用(1986–2024) 软件作者： Toh，K.C。；托德，M.J。；TüTüncü，R.H。 相关软件： 塞杜米；YALMIP；CVX… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
交易.ii 755份文件引用(1999–2024) 软件作者： 班杰斯，W。；哈特曼，R。；G.Kanschat。 相关软件： 特里利诺斯；PETSc；FEniCS… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
伊莎贝尔 755份文件引用(1990–2024) 软件作者： 拉里·保尔森（Larry Paulson）；托拜厄斯·尼普科；马卡里乌斯·温策尔 相关软件： 伊莎贝尔·霍尔；HOL；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
PARI/GP公司 769份文件引用(1992–2024) 软件作者： 亨利·科恩（Henri Cohen）；卡里姆·贝拉巴斯；PARI组 相关软件： 岩浆；SageMath；ecdata… 主要字段： 数论（11-XX）；代数几何（14-XX）；数值分析（65-XX）…
mf工具箱 772份文件引用(2008–2024) 软件作者： 新泽西州海姆。 相关软件： mctoolbox；Matlab；MATLAB扩展… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）…
减少 744份文件中引用(1970–2024) 软件作者： 安东尼·赫恩（Anthony C.Hearn）。；格哈德·雷纳（Gerhard Rayna）；雪普夫，雷纳；托马斯·斯特姆 相关软件： 枫树；Mathematica；马西玛… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
莫德 658份文件引用(1984–2024) 软件作者： Clavel，M。；杜兰，F。；埃克，S。；林肯，P。；新墨西哥州马丁·奥列特。；莫德团队 相关软件： 咖啡馆；OBJ3；ELAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
伊斯兰教 722份文件引用(1971–2023) 软件作者： 符号学 相关软件： 枫树；Mathematica；减少… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
鹦鹉螺 703文件引用(1988–2024) 软件作者： Brendan McKay；阿道夫·皮佩尔诺 相关软件： 踪迹；间隙；OEIS… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
可可 685份文件引用(1989–2024) 软件作者： CoCoa-Team；洛伦佐·罗比亚诺 相关软件： 麦考利2号；单一；CoCoALib… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
玻璃制品 690份文件引用(2008–2024) 软件作者： 拉胡尔·马祖姆德（Rahul Mazumder）；特雷弗·哈斯蒂；J.Friedman，T。；R.蒂比拉尼 相关软件： R；glmnet；巨大… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Uppaal公司 575份文件引用(1990–2024) 软件作者： 瑞典乌普萨拉大学；丹麦奥尔堡大学 相关软件： 克罗诺斯；高科技；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
莫塞克 673份文件引用(1999–2024) 软件作者： 阿普斯，莫斯科 相关软件： YALMIP；塞杜米；CVX… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
SCIP公司 668份文件引用(2005–2024) 软件作者： 特里斯坦·加里；杰拉尔德·加姆拉斯（Gerald Gamrath）；帕特里克·杰曼德（Patrick Gemander）；安布罗斯·格莱克斯纳；Robert Gottwald；Hendel，Gregor；克里斯托弗·霍尼；斯蒂芬·马赫（Stephen J.Maher）。；米伦伯格，马提亚斯；本杰明·米勒；马克·普费茨（Marc Pfetsch）；弗兰齐斯卡·舍勒（Franziska Schlösser）；费利佩·塞拉诺；斯特凡·维格尔斯克；Dieter Weninger；雅各布·维茨 相关软件： CPLEX；MIPLIB公司；古罗比… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
AMPL公司 658份文件引用(1989–2024) 软件作者： 福勒，R。；盖伊，D.M。；B.W.科尼根。 相关软件： CPLEX；Ipopt；游戏… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
凯利 673份文件引用(1995–2024) 软件作者： C.T.凯利。 相关软件： minpack；L-BFGS；Matlab… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
PVS公司 630份文件引用(1993–2023) 软件作者： Owre，Sam；Natarajan Shankar；约翰·拉什比 相关软件： Coq；伊莎贝尔·霍尔；HOL… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
JDQZ公司 653份文件引用(1996–2024) 软件作者： Fokkema，D.R。；Sleijpen，G.L.G。；H.A.van der，Vorst 相关软件： JDQR；ARPACK；eigs… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
FFTW公司 599份文件引用(2000–2024) 软件作者： 麻省理工学院；Frigo，Matteo；史蒂文·约翰逊。 相关软件： Matlab；LAPACK；ATLAS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HOL公司 623份文件引用(1985–2024) 软件作者： 迈克尔·J·C·戈登。 相关软件： 伊莎贝尔·霍尔；伊莎贝尔；ML… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
超小卫星 601份文件引用(2003–2024) 软件作者： 埃恩，尼古拉斯；尼古拉斯·Sörensson 相关软件： 糠；z3；伯克敏… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
糠 引用于571份文件(2001–2024) 软件作者： Moskewicz，M。；马迪根，C。；Zhao，Y。；张，L。；南卡罗来纳州马利克 相关软件： MiniSat；伯克敏；SATO… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
Eigtool公司 614文件引用(1996–2024) 软件作者： 托马斯·赖特。；Nick Trefethen；安布雷，马克 相关软件： ARPACK；Seigtool公司；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；算子理论（47-XX）…
米扎尔 581份文件引用(1983–2024) 软件作者： 格拉泽戈兹·班塞雷克；Czeslaw Bylinski；亚当·格拉博夫斯基（Adam Grabowski）；阿图尔·科尼洛维奇；Robert Milewski；亚当·纳莫维奇（Adam Naumowicz）；Trybulec，Andrzej；约瑟夫·乌尔班 相关软件： Coq；伊莎贝尔·霍尔；HOL灯… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
MATCONT公司 559份文件引用(2003–2024) 软件作者： Dhooge，A。；Sautois，B.公司。；Govaerts，W。；于库兹涅佐夫。答：。 相关软件： 自动；Matlab；CL_MATCONT… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
背包 546份文件引用(1995–2024) 软件作者： 戴维·皮辛格（David Pisinger）；保罗·托斯 相关软件： CPLEX；默克纳普；OR-库… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
JDQR公司 546份文件引用(1996–2024) 软件作者： Gerard L.G.Sleijpen。 相关软件： JDQZ；ARPACK；eigs… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
马特普洛特利布 330份文件引用(2007–2024) 软件作者： 约翰·亨特；Dale，Darren；开火，埃里克；迈克尔·德罗特布姆（Michael Droettboom）；matplotlib开发团队 相关软件： 数字Py；蟒蛇；科学… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
切布冯 538份文件引用(2004–2024) 软件作者： Chebfun团队；A Driscoll、N.Hale、L.N.Trefehen 相关软件： Matlab；DLMF；Chebfun2… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
磁粉探伤 492份文件引用(1990–2024) 软件作者： 杰弗里·菲克（Jeffrey A.Fike）。；胡安·阿隆索。 相关软件： LAPACK；CUDA；PETSc… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
亚麻布 509份文件引用(1979–2023) 软件作者： 犹他大学数学系；J.Dongarra、J.Bunch、C.Moler、G.W.Stewart 相关软件： LAPACK；EISPACK；BLAS… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
TETRAD公司 503份文件引用(1993–2024) 软件作者： 克拉克·格雷摩尔（Clark Glymour）；理查德·谢恩斯（Richard Scheines）；彼得·斯皮特斯；约瑟夫·拉姆齐 相关软件： pcalg；R；bn学习… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；统计学（62-XX）…
国际实验室 519份文件引用(1999–2024) 软件作者： 齐格弗里德·M·臀部。 相关软件： Matlab；mctoolbox；C-XSC 2.0… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
运营质量 512篇文献引用(2004–2024) 软件作者： 沃尔特·高茨基 相关软件： Matlab；DLMF；正交多项式… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；近似和展开（41-XX）…
布伦特 503份文件引用(1971–2024) 软件作者： 理查德·布伦特（Richard Brent）；约翰·伯克特 相关软件： R；minpack；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
EISPACK公司 494份文件引用(1974–2023) 软件作者： 布赖恩·史密斯（Brian Smith）；詹姆斯·博伊尔（James Boyle）；Jack Dongarra；伯顿·加博；伊克贝，Y。；克莱马，V。；鼹鼠，聪明 相关软件： LAPACK；林帕克；布拉斯… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
羊水过少 443份文件引用(2001–2024) 软件作者： LeCun，Y。；科尔特斯，C。；克里斯托弗·J·C·伯格。 相关软件： 亚当；CIFAR；ImageNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
UMFPACK公司 470篇文献引用(1996–2024) 软件作者： 蒂莫西·戴维斯（Timothy A.Davis）。 相关软件： FreeFem++；PETSc；交易.ii… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
CGAL公司 439份文件引用(1996–2024) 软件作者： CGAL编辑委员会 相关软件： LEDA；二维三角剖分；三角形… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
UMDES公司 463份文件引用(1996–2024) 软件作者： 克里斯托斯·卡桑德拉斯（Christos G.Cassandras）。；圣菲拉福顿 相关软件： Supremica；TCT；libFAUDES… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
表格 446份文件引用(1993–2024) 软件作者： Kuipers，J。；上田，T。；Vermaseren，J.A.M。；J.沃林加。 相关软件： 粉碎机；雷杜泽；LiteRed… 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；量子理论（81-XX）…
GeoGebra公司 219篇文献引用(2007–2024) 软件作者： – 相关软件： 几何画板；灰姑娘；GEX… 主要字段： 总体主题；藏品（00-XX）；交换代数（13-XX）；几何（51-XX）…
TPTP公司 429份文件引用(1994–2024) 软件作者： Geoff Sutcliffe；克里斯蒂安·萨特纳 相关软件： VAMPIRE公司；E定理证明器；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；几何（51-XX）…
BARON公司 429份文件引用(1996–2024) 软件作者： 尼古拉斯·萨希尼迪斯。 相关软件： CPLEX；GAMS；科幻小说… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
抱怨 423份文件引用(1976–2023) 软件作者： 数值算法组 相关软件： 抱怨；Matlab；LAPACK… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
达奇 400篇文献引用(2006–2024) 软件作者： 马丁·德雷斯 相关软件： ImageNet；AlexNet；亚当… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Nuprl公司 425篇文献引用(1986–2023) 软件作者： 康斯特布尔，R.L。；艾伦，S.F。；Bromley，H.M。；克莱维兰，W.R。；Cremer，J.F。；哈珀，R.W。；Howe，D.J。；诺布洛克，T.B。；Mendler，N.P。；帕南加登，P。；佐佐木，J.T。；史密斯，S.F。 相关软件： Coq；HOL；自动… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
取消锁定BoX 419份文件引用(2010–2024) 软件作者： 纳撒内尔·佩罗丁 相关软件： PDCO；iPiano；GitHub… 主要字段： 算子理论（47-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
DGM公司 413份文件引用(2017–2024) 软件作者： 贾斯汀·西里尼亚诺；康斯坦蒂诺斯·斯皮利奥普洛斯 相关软件： 亚当；DeepXDE；TensorFlow… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
多晶的 405篇文献引用(2000–2024) 软件作者： 尤金尼·加维洛（Ewgenij Gawrilow）；乔斯维格（Michael Joswig）；polymake团队 相关软件： 麦考利2号；格凡；正常（amp；N）… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
MersenneTwister公司 375份文件引用(1998–2024) 软件作者： 松本真本；西村、高治 相关软件： 测试U01；R；死亡… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
symrcm公司 382份文件引用(1979–2022) 软件作者： 乔治，艾伦；约瑟夫·刘；约翰·吉尔伯特（John R.Gilbert）。；聪明的鼹鼠；罗伯特·施赖伯 相关软件： 稀疏矩阵；CSparse；LAPACK… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…