Matlab公司 引用于13856份文件(1982–2025) 软件作者： MathWorks公司 相关软件： Simulink；LMI工具箱；枫叶… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
R（右） 9695文件引用(1978–2024) 软件作者： 哈德利·威克姆；先生，罗伯特；罗斯·伊哈卡（Ross Ihaka）；约翰·钱伯斯（John M.Chambers）。；William N.Venables。；布莱恩·里普利。 相关软件： CRAN；ggplot2；SAS… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
数学软件 6566份文件引用(1986–2024) 软件作者： 沃尔夫勒姆研究公司 相关软件： 枫树；Matlab；R、 … 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
枫树 5382份文件引用(1983–2024) 软件作者： 滑铁卢枫树公司。 相关软件： Mathematica；Matlab；岩浆… 主要字段： 数论（11-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
组织环境信息系统 5354份文件引用(1973–2025) 软件作者： 尼尔·J·A·斯隆。；OEIS基金会。 相关软件： SageMath；Mathematica；间隙… 主要字段： 组合数学（05-XX）；数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
github 5215份文件引用(2010–2024) 软件作者： github 相关软件： R；亚当；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
UCI-毫升 3073份文件引用(1995–2024) 软件作者： 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公司 3806文件引用(2000–2024) 软件作者： 丹尼尔·洛泽尔（Daniel W.Lozier）。 相关软件： Mathematica；Matlab；OEIS… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；概率论与随机过程（60-XX）…
间隙 3685份文件引用(1990–2024) 软件作者： GAP集团 相关软件： 岩浆；SageMath；ATLAS集团陈述… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
蟒蛇 1444年文献引用（1991年至2025年） 软件作者： 吉多·范罗苏姆 相关软件： SciPy；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SageMath公司 2609份文件引用(2002–2024) 软件作者： 贤明的开发商；威廉·斯坦因；大卫·乔伊纳（David Joyner）；David Kohel；约翰·克雷莫纳；伯里钦·埃罗卡尔 相关软件： 岩浆；间隙；GitHub… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
麦考利2 2268份文件引用(1988–2024) 软件作者： 丹尼尔·格雷森。；迈克尔·E·斯蒂尔曼。；戴维·艾森巴德（David Eisenbud）；http://www.math.iuc.edu/Macaulay2/贡献者/ 相关软件： 单一；可可；SageMath… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
Coq公司 1974年文献引用（1993年至2024年） 软件作者： 克利斯朵夫·德林格；Jean-François Dufourd 相关软件： Isabelle/HOL；伊莎贝尔；HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
亚当 1815年文献引用(2016–2024) 软件作者： Diederik P.Kingma、Jimmy Ba 相关软件： TensorFlow；PyTorch；ImageNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ElemStatLearn（电子状态学习） 1764年文献引用(2001–2024) 软件作者： 杰蒂尔·哈沃森 相关软件： R；UCI-ml；PRMLT… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LAPACK公司 1759年文献中引用(1988–2024) 软件作者： LAPACK团队：lapack@cs.utk.edu 相关软件： BLAS；ScaLAPACK；mctoolbox… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
单一 1650年文献引用（1991年至2024年） 软件作者： Wolfram Decker；格特·马丁·格雷尔（Gert-Martin Greuel）；格哈德·普菲斯特；汉斯·舍尼曼 相关软件： 麦考利2号；可可；SageMath… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
mctoolbox软件 1630年文献引用(1995–2024) 软件作者： 海厄姆，尼克 相关软件： LAPACK；Matlab；mftoolx… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
贝叶斯DA 1560年文献引用(1997–2024) 软件作者： 杰蒂尔·哈沃森 相关软件： R；WinBUGS；斯坦… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
LMI工具箱 1494年文献引用(1995–2024) 软件作者： 数学作品；Gahinet，P。；内米洛夫斯基，A。；劳布，A.J。；M.奇拉利。 相关软件： Matlab；控制系统工具箱；YALMIP… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；运筹学，数学规划（90-XX）…
PRMLT公司 1373年文件引用(2006–2024) 软件作者： C.主教 相关软件： UCI-ml；ElemStatLearn；亚当… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CUDA公司 1188份文件引用(2007–2024) 软件作者： NVIDIA公司；佩特·文格曼；Frank H.P.菲泽克。 相关软件： OpenCL；CUBLAS；Matlab… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
塞杜米 1389年文献引用(1999–2024) 软件作者： 斯图尔姆·J·F 相关软件： YALMIP；SDPT3；GloptiPoly… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
YALMIP公司 1259年文献引用(2004–2024) 软件作者： 约翰·洛夫伯格 相关软件： 塞杜米；SDPT3；Mosek… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FEniCS公司 1182份文件引用(2007–2024) 软件作者： 剑桥大学、芝加哥大学、德克萨斯理工大学和KTH皇家理工学院Simula研究实验室 相关软件： SyFi；PETSc；道芬… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
伊莎贝尔/霍尔 1085份文件引用(1996–2024) 软件作者： 沃尔夫冈·纳拉斯切夫斯基；托比亚斯·尼普科夫 相关软件： 伊莎贝尔；Coq；HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
科学Py 引用于821份文件(2005–2024) 软件作者： Jones，E.、Oliphant，T.、Peterson，P.等人。 相关软件： 蟒蛇；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HE-E1GODF公司 1109文件引用(1997–2024) 软件作者： E.F托罗 相关软件： HLLE；澳大利亚统计局；MOOD… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
ImageNet公司 949份文件引用(2010–2024) 软件作者： J.Deng、W.Dong、R.Socher、L.-J.Li、K.Li、L.Fei-Fei 相关软件： AlexNet；亚当；TensorFlow… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TensorFlow公司 857份文件引用(2016–2024) 软件作者： 谷歌大脑团队；M.Abadi、A.Agarwal、P.Barham、E.Brevdo、Z.Chen、C.Citro、G.S.Corrado、A.Davis、J.Dean、M.Devin等人 相关软件： 亚当；PyTorch；喀拉斯… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CVX公司 1000份文件中引用(2006–2024) 软件作者： 迈克尔·格兰特；斯蒂芬·博伊德 相关软件： SDPT3；塞杜米；YALMIP… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
L-BFGS公司 987年文献引用(1981–2024) 软件作者： 朱慈友；理查德·伯德。；吕培煌；豪尔赫·诺塞达尔 相关软件： L-BFGS-B；LBFGS-B；切割机… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
PyTorch公司 699份文件引用(2018–2024) 软件作者： 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）…
ARPACK公司 被889份文献引用(1995–2024) 软件作者： Lehoucq；索伦森；杨 相关软件： 环境影响评价；JDQZ；JDQR… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
AlexNet公司 782文件引用(2014–2024) 软件作者： Alex Krizhevsky、Ilya Sutskever、Geoffrey E Hinton 相关软件： ImageNet；亚当；TensorFlow… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
数学溢出 827份文件引用(2010–2024) 软件作者： Stack Exchange公司 相关软件： 组织环境信息系统；SageMath；GitHub… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
朱莉娅 引用于655份文件(2014–2024) 软件作者： Bezanson J、Karpinski S、Shah VB、Edelman A 相关软件： github；JuMP；微分方程.jl… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
z3（零3） 761份文件引用(2001–2024) 软件作者： 微软研究院；莱昂纳多·德·莫拉；尼古拉·比约纳 相关软件： CVC4；SMT-LIB；Yices… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
数字Py 441份文件引用(2000–2024) 软件作者： 奥列芬特，T.E。 相关软件： 蟒蛇；SciPy；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
小背包 793文件引用(1979–2024) 软件作者： Garbow B、Hillstrom K、More J 相关软件： 切割机；L-BFGS；HYBRJ… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
SDPT3系统 768份文件引用(1986–2024) 软件作者： Toh，K.C。；托德，M.J。；TüTüncü，R.H。 相关软件： 塞杜米；YALMIP；CVX… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
伊莎贝尔 742份文件引用(1990–2024) 软件作者： 拉里·保尔森（Larry Paulson）、托比亚斯·尼普科（Tobias Nipkow）、马卡里乌斯·温泽尔（Makarius Wenzel） 相关软件： Isabelle/HOL；HOL；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
减少 738份文件引用(1970–2023) 软件作者： Anthony C.Hearn；格哈德·雷纳（Gerhard Rayna）；Rainer Schöpf公司；托马斯·斯特姆 相关软件： 枫树；Mathematica；马西玛… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
PARI/GP基因 744份文件中引用(1992–2024) 软件作者： 亨利·科恩；卡里姆·贝拉巴斯（Karim Belabas）；PARI组 相关软件： 岩浆；SageMath；间隙… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
mf工具箱 751份文件引用(2008–2024) 软件作者： N.J.海姆 相关软件： mctoolbox；Matlab；MATLAB扩展… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）…
伊斯兰教 718份文件引用(1971–2023) 软件作者： 符号学 相关软件： 枫树；Mathematica；减少… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
可可 680份文件引用(1989–2024) 软件作者： CoCoa团队；洛伦佐·罗比亚诺 相关软件： 麦考利2号；单一；CoCoALib… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
鹦鹉螺 691份文献引用(1988–2024) 软件作者： 布伦丹·麦凯；阿道夫·皮佩诺 相关软件： 踪迹；间隙；OEIS… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
AMPL公司 648份文件引用(1989–2023) 软件作者： 福勒，R.，盖伊，D.M.，科尼根，B.W。 相关软件： CPLEX；Ipopt；游戏… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
莫塞克 640篇文献引用(1999–2024) 软件作者： 莫斯科ApS 相关软件： YALMIP；塞杜米；SDPT3… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
SCIP公司 650份文件引用(2005–2024) 软件作者： 特里斯坦·加里、杰拉尔德·加姆拉斯、帕特里克·杰曼德、安布罗斯·格莱克斯纳、罗伯特·戈特瓦尔德、格雷戈·亨德尔、克里斯托弗·霍尼、斯蒂芬·马赫、马蒂亚斯·米尔滕贝格、本杰明·米勒、马克·普费茨、弗兰齐斯卡·舍勒、菲利佩·塞拉诺、斯特凡·维格斯克、迪特尔·温格、雅各布·维齐格 相关软件： CPLEX；MIPLIB公司；古罗比… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
JDQZ公司 644份文件引用(1996–2024) 软件作者： D.R.福克马；G.L.G.Sleijpen；范德沃斯特 相关软件： JDQR；ARPACK；eigs… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
HOL公司 592份文件引用(1985–2023) 软件作者： 迈克尔·J·C·戈登。 相关软件： 伊莎贝尔；Isabelle/HOL；ML… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
JDQR公司 540份文件引用(1996–2024) 软件作者： 杰拉德·L.G.斯莱杰本 相关软件： JDQZ；ARPACK；eigs… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
米扎尔 537份文件引用(1983–2024) 软件作者： Grzegorz Bancerek；切斯拉夫·拜林斯基；亚当·格拉博夫斯基；阿图尔·科尼洛维奇；罗伯特·米列夫斯基（Robert Milewski）；亚当·诺莫维奇（Adam Naumowicz）；Andrzej Trybulec；约瑟夫·乌尔班 相关软件： Coq；Isabelle/HOL；HOL灯光… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
切布冯 524份文件引用(2004–2024) 软件作者： Chebfun团队；A Driscoll，N.Hale，L.N.Trefethen 相关软件： Matlab；DLMF；Chebfun2… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
MATCONT公司 526份文件引用（2003年至2024年） 软件作者： Dhooge，A。；乌龟，B。；Govaerts，W。；于库兹涅佐夫。答：。 相关软件： 自动；Matlab；CL_MATCONT… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
马特普洛特利布 309份文件引用(2007–2024) 软件作者： John Hunter、Darren Dale、Eric Firing、Michael Droettboom和matplotlib开发团队 相关软件： 数字Py；蟒蛇；科学… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
国际实验室 508份文件引用(1999–2024) 软件作者： 齐格弗里德·M·臀部。 相关软件： Matlab；mctoolbox；C-XSC 2.0… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
布伦特 497份文件引用(1971–2024) 软件作者： 理查德·布伦特（Richard Brent）；约翰·伯克特 相关软件： R；minpack；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
运营质量 499份文件引用(2004–2024) 软件作者： 沃尔特·高茨基 相关软件： Matlab；DLMF；正交多项式… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；近似和扩展（41-XX）…
EISPACK公司 492份文件引用(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）…
CGAL公司 425篇文献引用(2000–2024) 软件作者： CGAL编辑委员会 相关软件： LEDA；二维三角剖分；三角形… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GeoGebra公司 206篇文献引用(2007–2024) 软件作者： – 相关软件： 几何画板；灰姑娘；GEX… 主要字段： 总体主题；藏品（00-XX）；交换代数（13-XX）；几何（51-XX）…
表格 引用于422份文件（1993年至2024年） 软件作者： Kuipers，J。；上田，T。；维尔马塞伦，J.A.M。；J.沃林加。 相关软件： 粉碎机；雷杜泽；Axodraw… 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；量子理论（81-XX）…
BARON公司 引用于420份文件(1996–2024) 软件作者： 尼古拉斯五世·萨希尼迪斯。 相关软件： CPLEX；GAMS；科幻小说… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
达奇 380份文件引用(2006–2024) 软件作者： 马丁·德雷斯 相关软件： ImageNet；AlexNet；亚当… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
多晶的 400篇文献引用(2000–2024) 软件作者： Ewgenij Gawrilow、Michael Joswig和polymake团队 相关软件： 麦考利2号；格凡；正常（amp；N）… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
GloptiPoly公司 360篇文献引用（2003年至2024年） 软件作者： 迪迪埃·亨利安（Didier Henrion）；Jean-Bernard Lasserre；约翰·洛夫伯格 相关软件： 塞杜米；YALMIP；Sostools… 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
DGM公司 358份文件引用(2017–2024) 软件作者： 贾斯汀·西里尼亚诺；康斯坦蒂诺斯·斯皮利奥普洛斯 相关软件： 亚当；DeepXDE；TensorFlow… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
Qhull公司 332份文件引用(1996–2024) 软件作者： C.Bradford Barber、Hannu Huhdanpaa 相关软件： Matlab；CGAL；三角形… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
协和式飞机 328份文件引用(1997–2024) 软件作者： Applegate，David L。；Robert E.Bixby。；瓦舍克·查塔尔；威廉·库克。 相关软件： TSPLIB；LKH；VRP… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
纽顿图书馆 335篇文献引用(2001–2024) 软件作者： 彼得·德弗哈德（Peter Deufhard）；卢茨·魏曼 相关软件： PETSc；罗德斯；Matlab… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
Wasserstein甘 321份文件引用(2018–2024) 软件作者： 马丁·阿乔夫斯基（Martin Arjovsky）；索米斯·钦塔拉；莱昂·博图 相关软件： 亚当；像素x像素；CycleGAN… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
HOL灯 320篇文献引用(1998–2024) 软件作者： 约翰·哈里森 相关软件： Coq；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
Sostools公司 325篇文献引用(2002–2024) 软件作者： 史蒂芬·般若（Stephen Prajna）；安东尼斯·帕帕克里斯托杜鲁（Antonis Papachristodoulou）；彼得·塞勒（Peter Seiler）；巴勃罗·帕里洛。 相关软件： 塞杜米；YALMIP；GloptiPoly… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
gmp公司 299篇文献引用(1995–2024) 软件作者： 格兰伦德 相关软件： MPFR；NTL；PARI/GP… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
凯拉斯 264篇文献引用(2017–2024) 软件作者： F.胆汁 相关软件： TensorFlow；亚当；GitHub… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
并入PT_90 310份文件引用(1996–2023) 软件作者： R.Baker Kearfott先生 相关软件： 国际实验室；C-XSC；个人资料/偏见… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ACL2型 287份文件引用(1998–2023) 软件作者： 马特·考夫曼，斯特罗瑟·摩尔 相关软件： Coq；Isabelle/HOL；PVS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数拓扑（55-XX）…
GSL公司 引用于279份文件(2002–2024) 软件作者： 自由软件基金会，M.Galassi，J.Davies，J.Theiler，B.Gough，G.Jungman，P.Alken，M.Booth，F.Rossi 相关软件： R；LAPACK；PETSc… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
fmin搜索 286份文件引用(1996–2024) 软件作者： 杰弗里·拉加里亚斯。；詹姆斯·里兹（James A.Reeds）。；Margaret H.Wright。；保罗·赖特（Paul E.Wright）。 相关软件： Matlab；凯利；minpack… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
QEPCAD公司 295篇文献引用（1991年至2024年） 软件作者： Hoon Hong；克里斯托弗·布朗（Christopher W.Brown）。 相关软件： REDLOG；枫树；发现者… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；数值分析（65-XX）…
贝尔蒂尼 290份文件引用(2008–2024) 软件作者： D.Bates、J.Hauenstein、A.Sommese、C.Wampler 相关软件： PHCpack；麦考利2号；HOM4PS… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
阿尔戈68 280篇文献引用(1969–2019) 软件作者： van Wijngaarden，A.作者简介；梅勒鲁，B.J。；Peck，J.E.L。；科斯特，C.H.A。；辛佐夫，M。；Lindsey，C.H。；Meertens，L.G.L.T。；R.G.菲斯克。 相关软件： ALGOL 60；Simula 67；Ada95… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
存档正式证据 278篇文献引用(1963–2024) 软件作者： Jasmin Christian布兰切特；Haslbeck，马克西米利安；丹尼尔·马提库克（Daniel Matichuk）；托比亚斯·尼普科夫 相关软件： Isabelle/HOL；伊莎贝尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
乳胶 251份文件引用(1988–2024) 软件作者： 莱斯利·兰伯特 相关软件： 特克斯；到期4；枫叶… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LMFDB公司 273份文件中引用(2014–2024) 软件作者： http://www.lmfdb.org/确认 相关软件： 岩浆；SageMath；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；特殊功能（33-XX）…
相位提升 272份文件引用(2012–2024) 软件作者： 伊曼纽尔·坎迪斯。；尤尼娜·C·埃尔达尔。；托马斯·斯特罗默（Thomas Strohmer）；弗拉迪斯拉夫·沃罗宁斯基 相关软件： Wirtinger流；PhaseMax；GESPAR… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；数值分析（65-XX）…
PITCON公司 259篇文献引用(1984–2023) 软件作者： 沃纳·莱因博尔德（Werner Rheinboldt）；约翰·伯克特 相关软件： 主页；AUTO-86；自动… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
PHC包 250篇文献引用(1999–2024) 软件作者： 简·维舍尔 相关软件： 贝尔蒂尼；麦考利2号；HOM4PS… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）…
MPFR公司 249篇文献引用(2001–2024) 软件作者： Guillaume Hanrot、Vincent Lefèvre、Patrick Pélissier、Philippe Théveny、Paul Zimmermann 相关软件： gmp；Mathematica；mctoolbox… 主要字段： 数论（11-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
NTL公司 242份文件中引用(1998–2023) 软件作者： 维克托·舒普 相关软件： gmp；岩浆；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；数值分析（65-XX）…
踪迹 244篇文献引用(2014–2024) 软件作者： 阿道夫·皮佩诺 相关软件： 鹦鹉螺；SageMath；间隙… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；凸和离散几何（52-XX）…
高斯人 223篇文献引用(1983–2024) 软件作者： 高斯公司。；http://gaussian.com/people网站/ 相关软件： 西北化工；游戏；MOLPRO… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；量子理论（81-XX）…
英国船级社 237篇文献引用(2008–2023) 软件作者： 廖世军 相关软件： Matlab；Mathematica；bvp4c… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
隔离 237篇文献引用(1999–2024) 软件作者： Fabrice的Rouillier；保罗·齐默尔曼 相关软件： 克罗内克；FGb；枫叶… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；代数几何（14-XX）…
SMT-LIB公司 222篇文献引用(2004–2024) 软件作者： 克拉克·巴雷特；莱昂纳多·德·莫拉；西尔维奥·兰伊斯；阿伦·斯塔姆（Aaron Stump）；塞萨尔·蒂内利 相关软件： z3；CVC4；Yices… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…