Matlab公司 引用于14601份文件(1982–2025) 软件作者： MathWorks公司 相关软件： Simulink；LMI工具箱；MATLAB ODE套件… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
R（右） 9973文件引用(1978–2024) 软件作者： 哈德利·威克姆；先生，罗伯特；罗斯·伊哈卡（Ross Ihaka）；约翰·钱伯斯（John M.Chambers）。；William N.Venables。；布莱恩·里普利。 相关软件： CRAN；ggplot2；SAS… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
数学软件 6760份文件引用(1986–2024) 软件作者： 沃尔夫勒姆研究公司 相关软件： 枫树；Matlab；R、 … 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
枫树 5453份文件引用(1983–2024) 软件作者： 滑铁卢枫树公司。 相关软件： Mathematica；Matlab；玛格玛… 主要字段： 数论（11-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
组织环境信息系统 5434份文件引用(1973–2025) 软件作者： 尼尔·J·A·斯隆。；OEIS基金会。 相关软件： SageMath；Mathematica；DLMF… 主要字段： 组合数学（05-XX）；数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
github 5223份文件引用(2010–2024) 软件作者： github 相关软件： R；亚当；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
岩浆 4114文件引用(1994–2024) 软件作者： W.Bosma、A.Steel、G.Matthews、D.Fisher、J.Cannon、S.Contini、B.Smith 相关软件： 间隙；SageMath；PARI/GP… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
DLMF公司 3867份文件引用(2000–2024) 软件作者： 丹尼尔·洛泽尔（Daniel W.Lozier）。 相关软件： Mathematica；Matlab；OEIS… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；概率论与随机过程（60-XX）…
间隙 3748份文件引用(1990–2024) 软件作者： GAP集团 相关软件： 岩浆；SageMath；ATLAS集团代表… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
CPLEX公司 3026文件引用(1992–2024) 软件作者： 国际商用机器公司 相关软件： 古罗比；SCIP；AMPL… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
蟒蛇 1562年文献引用(1991–2025) 软件作者： 吉多·范罗苏姆 相关软件： SciPy；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SageMath公司 2679份文件引用(2002–2024) 软件作者： 贤明的开发商；威廉·斯坦因；大卫·乔伊纳；David Kohel；约翰·克雷莫纳；伯里钦·埃罗卡尔 相关软件： 岩浆；间隙；GitHub… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
麦考利2 2304文件引用(1988–2024) 软件作者： 丹尼尔·格雷森（Daniel R.Grayson）。；迈克尔·E·斯蒂尔曼。；戴维·艾森巴德（David Eisenbud）；http://www.math.uiuc.edu/Macaulay2/贡献者/ 相关软件： 单一；可可；SageMath… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
Coq公司 1998年文件引用(1993–2024) 软件作者： 克利斯朵夫·德林格；Jean-François Dufourd 相关软件： 伊莎贝尔·霍尔；伊莎贝尔；HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
ElemStatLearn（电子状态学习） 1831年文献引用(2001–2024) 软件作者： 杰蒂尔·哈沃森 相关软件： R；UCI-ml；PRMLT… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LAPACK公司 1780年文献引用(1988–2024) 软件作者： LAPACK团队：lapack@cs.utk.edu 相关软件： BLAS；ScaLAPACK；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
单一 1668年文献引用(1991–2024) 软件作者： Wolfram Decker；格特·马丁·格雷尔（Gert-Martin Greuel）；格哈德·普菲斯特；汉斯·舍尼曼 相关软件： 麦考利2号；可可；SageMath… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
mctoolbox软件 1678年文献引用(1995–2024) 软件作者： 尼克·海姆 相关软件： LAPACK；Matlab；mftoolx… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
贝叶斯DA 1644年文献引用(1997–2024) 软件作者： 杰蒂尔·哈沃森 相关软件： R；WinBUGS公司；斯坦… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
PRMLT公司 引用于1442份文件(2006–2024) 软件作者： C.主教 相关软件： UCI-ml；ElemStatLearn；亚当… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
塞杜米 1398年文献引用(1999–2024) 软件作者： 斯图尔姆·J·F 相关软件： YALMIP；SDPT3；GloptiPoly… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
伊莎贝尔/HOL 1117文件引用(1996–2024) 软件作者： 沃尔夫冈·纳拉斯切夫斯基（Wolfgang Naraschewski）；托比亚斯·尼普科 相关软件： 伊莎贝尔；Coq；HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
古罗比 1140份文件引用(2010–2024) 软件作者： 宗豪古；Ed Rothberg；鲍勃·比克斯比；Gurobi Optimization公司。 相关软件： CPLEX；SCIP；GitHub… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
HE-E1GODF公司 1150份文献中引用(1997–2024) 软件作者： E.F托罗 相关软件： HLLE；澳大利亚统计局；MOOD… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
TensorFlow公司 895份文件引用(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公司 963文件引用(2010–2024) 软件作者： J.Deng、W.Dong、R.Socher、L.-J.Li、K.Li、L.Fei-Fei 相关软件： AlexNet；亚当；TensorFlow… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
AUTO（自动） 1036份文件引用(1981–2024) 软件作者： 多德尔、尤西比乌斯、阿兰·查普内斯、法比奥·德科尔、托马斯·费尔格雷夫、尤里·库兹涅佐夫、巴特·奥尔德曼、兰迪·帕芬罗斯、比约恩·桑德斯、王宪军和张成海 相关软件： AUTO-07P；HomCont；自动-86… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
ARPACK公司 896份文件引用(1995–2024) 软件作者： 勒霍克；索伦森；杨 相关软件： 环境影响评价；JDQZ；JDQR… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
朱莉娅 706份文件引用(2014–2024) 软件作者： Bezanson J、Karpinski S、Shah VB、Edelman A 相关软件： github；JuMP；微分方程.jl… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
AlexNet公司 789份文件引用(2014–2024) 软件作者： Alex Krizhevsky、Ilya Sutskever、Geoffrey E Hinton 相关软件： ImageNet；亚当；TensorFlow… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
z3（零3） 787文件引用(2001–2024) 软件作者： 微软研究院；莱昂纳多·德·莫拉；尼古拉·比约纳 相关软件： CVC4；SMT-LIB；Yices… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
mf工具箱 引用于772份文献(2008–2024) 软件作者： N.J.海姆 相关软件： mctoolbox；Matlab；MATLAB扩展… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）…
减少 744份文件中引用(1970–2024) 软件作者： Anthony C.Hearn；格哈德·雷纳（Gerhard Rayna）；Rainer Schöpf；托马斯·斯特姆 相关软件： 枫树；Mathematica；马西玛… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
伊斯兰教 721份文件引用(1971–2023) 软件作者： 符号学 相关软件： 枫树；Mathematica；减少… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
玻璃纤维 667份文件引用(2008–2024) 软件作者： 拉胡尔·马祖姆德（Rahul Mazumder）；特雷弗·哈斯蒂；J.Friedman，T。；R.蒂比拉尼 相关软件： R；glmnet；巨大… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
AMPL公司 658份文件引用(1989–2024) 软件作者： 福勒，R.，盖伊，D.M.，科尼根，B.W。 相关软件： CPLEX；Ipopt；游戏… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
JDQZ公司 653份文件引用(1996–2024) 软件作者： D.R.福克马；G.L.G.Sleijpen公司；范德沃斯特 相关软件： JDQR；ARPACK；eigs… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
Eigtool公司 引用于605份文件(1996–2024) 软件作者： 托马斯·赖特；Nick Trefethen；马克·恩布雷 相关软件： ARPACK；Seigtool公司；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；算子理论（47-XX）…
JDQR公司 546篇文献引用(1996–2024) 软件作者： 杰拉德·L.G.斯莱杰本 相关软件： JDQZ；ARPACK；eigs… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
运营质量 512篇文献中引用(2004–2024) 软件作者： 沃尔特·高奇 相关软件： Matlab；DLMF；正交多项式… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；近似和扩展（41-XX）…
EISPACK公司 494份文件引用(1974–2023) 软件作者： Brian Smith、James Boyle、Jack Dongarra、Burton Garbow、Y.Ikebe、V.Klema、Cleve Moler 相关软件： LAPACK；LINPACK；BLAS… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
BARON公司 428份文件中引用(1996–2024) 软件作者： 尼古拉斯五世·萨希尼迪斯。 相关软件： CPLEX；GAMS；SCIP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
达奇 400篇文献引用(2006–2024) 软件作者： 马丁·德雷斯 相关软件： ImageNet；AlexNet；亚当… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DGM公司 402份文件引用(2017–2024) 软件作者： 贾斯汀·西里尼亚诺；康斯坦蒂诺斯·斯皮利奥普洛斯 相关软件： 亚当；DeepXDE；TensorFlow… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
MersenneTwister公司 369份文件引用(1998–2024) 软件作者： 松本真本；西村、高治 相关软件： 测试U01；R；死亡… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
CGS公司 341份文件引用(1986–2024) 软件作者： 彼得·桑内菲尔德 相关软件： GpBiCg；BiCGstab；na1… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
纽顿图书馆 338篇文献中引用(2001–2024) 软件作者： 彼得·德弗哈德（Peter Deufhard）；卢茨·魏曼 相关软件： PETSc；罗德斯；Matlab… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
gmp公司 306份文件引用(1995–2024) 软件作者： 格兰伦德 相关软件： MPFR；NTL；PARI/GP… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ACL2型 292份文件中引用(1998–2024) 软件作者： 马特·考夫曼（Matt Kaufmann）、斯特罗特·摩尔（Strother Moore） 相关软件： Coq；伊莎贝尔·霍尔；PVS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数拓扑（55-XX）…
贝尔蒂尼 298篇文献引用(2008–2024) 软件作者： D.Bates、J.Hauenstein、A.Sommese、C.Wampler 相关软件： PHCpack；麦考利2号；HOM4PS… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
QEPCAD公司 302文件引用(1991–2024) 软件作者： Hoon Hong；克里斯托弗·布朗（Christopher W.Brown）。 相关软件： REDLOG；枫树；发现者… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；数值分析（65-XX）…
艾根 253篇文献引用(2012–2024) 软件作者： 盖尔·根内鲍德·贝诺·雅各布 相关软件： R；github；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿尔戈68 280篇文献引用(1969–2019) 软件作者： van Wijngaarden，A.作者简介；梅勒鲁，B.J。；Peck，J.E.L。；科斯特，C.H.A。；辛佐夫，M。；林赛，C.H。；Meertens，L.G.L.T。；R.G.菲斯克。 相关软件： ALGOL 60；Simula 67；阿达95… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
日晷 256篇文献引用(1990–2024) 软件作者： Alan C.Hindmarsh。；彼得·N·布朗（Peter N.Brown）。；基思·格兰特（Keith E.Grant）。；Lee，Steven L。；塞尔维亚人，Radu；Dan E.Shumaker。；卡罗尔·伍德沃德。 相关软件： PETSc；Matlab；罗达斯… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；流体力学（76-XX）…
克里斯托费尔 273份文件中引用(1996–2024) 软件作者： 托宾·A·德里斯科尔 相关软件： SC工具箱；Matlab；SCPACK… 主要字段： 复变量函数（30-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
C解析 269篇文献引用(2006–2024) 软件作者： 蒂莫西·戴维斯（Timothy A.Davis）。 相关软件： 稀疏矩阵；Matlab；MUMPS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
PHC包 252篇文献引用(1999–2024) 软件作者： 简·维舍尔 相关软件： 贝尔蒂尼；麦考利2号；HOM4PS… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）…
开普勒98 237篇文献引用(2000–2024) 软件作者： 托马斯·黑尔斯（Thomas C.Hales）。；塞缪尔·弗格森。 相关软件： Flyspeck；伊莎贝尔·霍尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；凸和离散几何（52-XX）…
隔离 240篇文献引用(1999–2024) 软件作者： Fabrice的Rouillier；保罗·齐默尔曼 相关软件： 克罗内克；FGb；枫树… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；代数几何（14-XX）…
SC工具箱 239篇文献引用(1996–2024) 软件作者： 托宾·A·德里斯科尔。 相关软件： 施瓦兹-克里斯托菲尔；Matlab；SCPACK… 主要字段： 复变量函数（30-XX）；势能理论（31-XX）；偏微分方程（35-XX）…
阿特拉斯 187份文件引用(1992–2023) 软件作者： R.克林特·惠利 相关软件： LAPACK；BLAS；PHiPAC… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
马克西玛 175份文件中引用(1998–2024) 软件作者： 威廉·谢尔特 相关软件： Mathematica；SageMath；枫树… 主要字段： 群论与推广（20-XX）；数值分析（65-XX）；计算机科学（68-XX）…
AXIOM公司 173篇文献引用(1992–2022) 软件作者： Tim Daly等人。；http://wiki.axiom-developer.org/axiom-website/community.html 相关软件： 枫树；Mathematica；减少… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
第3264册示例 168篇文献引用(2015–2024) 软件作者： 查利·克里斯曼；戴维·艾森巴德（David Eisenbud）；乔·哈里斯 相关软件： 麦考利2；github；同伦连续… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
优化软件基准 155份文件引用(1999–2024) 软件作者： 汉斯·米特尔曼 相关软件： 塞杜米；MIPLIB公司；SCIP… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
伊斯兰解放军 136篇文献引用(2013–2024) 软件作者： 加雷思·詹姆斯（Gareth James）、丹妮拉·维滕（Daniela Witten）、特雷弗·哈斯蒂（Trevor Hastie）和罗伯·蒂布什拉尼（Rob Tibshirani） 相关软件： ElemStatLearn；R；PRMLT… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LISP公司 116篇文献引用(1960–2023) 软件作者： 约翰·麦卡锡 相关软件： ACL2；NQTHM；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
主页 124篇文献引用(1987–2023) 软件作者： Layne T.Watson。；斯蒂芬·C·比卢普斯。；亚历山大·摩根。 相关软件： PITCON；HOMPACK90；minpack… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；运筹学，数学规划（90-XX）…
朱庇特 55份文件引用(2016–2023) 软件作者： Jupyter项目；佩雷斯，F。；B.E.格兰杰。 相关软件： 蟒蛇；数字Py；科学… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
新型网络搜索引擎 64篇文献引用(2000–2024) 软件作者： Wolfram Alpha有限责任公司 相关软件： Mathematica；组织环境信息系统；枫树… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；数论（11-XX）…
优化软件的决策树 56篇文献引用(1999–2022) 软件作者： 米特尔曼，H.D。；彼得·斯佩卢奇 相关软件： 优化软件基准；MIPLIB公司；CPLEX… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
差异托马斯 29篇文献引用(2012–2023) 软件作者： Bächler，T.等人。；Lange-Hegermann，M。 相关软件： 枫树；珍妮特；代数托马斯… 主要字段： 交换代数（13-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
目标@形状 17篇文献引用(2008–2020) 软件作者： – 相关软件： PcGets；ABC4EFT；CHOLMOD… 主要字段： 总体主题；藏品（00-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
冲浪者 13份文件引用(2010–2024) 软件作者： 格特·马丁·格雷尔（Gert-Martin Greuel）；亨宁·梅耶（Henning Meyer）、克里斯蒂安·斯图萨克（Christian Stussak）、奥利弗实验室（Oliver Labs）、费利克斯·里曼（Felix Riemann）、赫维格·豪泽（Herwig Hauser）、安德烈亚斯·。基于Stephan Endrass等人的《冲浪》。 相关软件： 单一；Mathematica；正常（amp；N）… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；群论与推广（20-XX）…