Matlab公司 13814年文献引用(1982–2025) 软件作者： MathWorks公司 相关软件： Simulink；LMI工具箱；枫树… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
R（右） 9676份文件引用(1978–2024) 软件作者： 哈德利·威克姆；先生，罗伯特；罗斯·伊哈卡（Ross Ihaka）；约翰·钱伯斯（John M.Chambers）。；William N.Venables。；布莱恩·里普利。 相关软件： CRAN；SAS；ggplot2… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
数学软件 6559份文件中引用(1986–2024) 软件作者： 沃尔夫勒姆研究公司 相关软件： 枫树；Matlab；R、 … 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
枫树 5366份文件引用(1983–2024) 软件作者： 滑铁卢枫树公司。 相关软件： Mathematica；Matlab；岩浆… 主要字段： 数论（11-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
组织环境信息系统 5321文件引用（1973年至2025年） 软件作者： 尼尔·J·A·斯隆。；OEIS基金会。 相关软件： SageMath；Mathematica；间隙… 主要字段： 组合数学（05-XX）；数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
岩浆 4006文件引用(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）…
github 3786份文件引用(2010–2024) 软件作者： github 相关软件： R；Matlab；Python… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
UCI-毫升 3029文件引用(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）…
间隙 引用于3668份文件(1990–2024) 软件作者： GAP集团 相关软件： 岩浆；SageMath；ATLAS集团代表… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
CPLEX公司 2956份文献中引用(1992–2024) 软件作者： 国际商用机器公司 相关软件： 古罗比；SCIP；AMPL… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
蟒蛇 1429年文献引用(1991–2025) 软件作者： 吉多·范罗苏姆 相关软件： SciPy；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SageMath公司 2596份文件引用(2002–2024) 软件作者： 贤明的开发商；威廉·斯坦因；大卫·乔伊纳（David Joyner）；David Kohel；约翰·克雷莫纳；伯里钦·埃罗卡尔 相关软件： 岩浆；间隙；OEIS… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
麦考利2 2263份文件引用(1988–2024) 软件作者： 丹尼尔·格雷森。；迈克尔·E·斯蒂尔曼。；戴维·艾森巴德（David Eisenbud）；http://www.math.uiuc.edu/Macaulay2/贡献者/ 相关软件： 单一；可可；SageMath… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
Coq公司 引用于1972年文件(1993–2024) 软件作者： 克利斯朵夫·德林格；Jean-François Dufourd 相关软件： Isabelle/HOL；伊莎贝尔；HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
ElemStatLearn（电子状态学习） 1764年文献引用(2001–2024) 软件作者： 杰蒂尔·哈沃森 相关软件： R；UCI-ml；PRMLT… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LAPACK公司 1758年文献引用(1988–2024) 软件作者： LAPACK团队：lapack@cs.utk.edu 相关软件： BLAS；ScaLAPACK；mctoolbox… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
单一 1649年文献引用(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）…
LMI工具箱 1493年文献引用(1995–2024) 软件作者： 数学作品；Gahinet，P。；内米洛夫斯基，A。；劳布，A.J。；M.奇拉利。 相关软件： Matlab；控制系统工具箱；YALMIP… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；运筹学，数学规划（90-XX）…
CUDA公司 1188份文件引用(2007–2024) 软件作者： NVIDIA公司；佩特·文格曼；Frank H.P.菲泽克。 相关软件： 开放式CL；CUBLAS；Matlab… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
塞杜米 1380年文献引用(1999–2024) 软件作者： 斯特姆·J·F 相关软件： YALMIP；SDPT3；GloptiPoly… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
VRP公司 1257年文献引用(1981–2024) 软件作者： NEO：网络和新兴优化 相关软件： CVRPSP；CPLEX；禁忌搜索… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
YALMIP公司 1257年文献引用(2004–2024) 软件作者： 约翰·洛夫伯格 相关软件： 塞杜米；SDPT3；Mosek… 主要字段： 变异微积分和最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
伊莎贝尔/霍尔 1073份文件引用(1996–2024) 软件作者： 沃尔夫冈·纳拉斯切夫斯基（Wolfgang Naraschewski）；托比亚斯·尼普科 相关软件： 伊莎贝尔；Coq；HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
科学Py 819份文件引用(2005–2024) 软件作者： Jones，E.、Oliphant，T.、Peterson，P.等人。 相关软件： 蟒蛇；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
古罗比 1079份文件引用(2010–2024) 软件作者： 宗豪古；Ed Rothberg；鲍勃·比克斯比；Gurobi Optimization公司。 相关软件： CPLEX；SCIP；JuMP… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
TensorFlow公司 引用于856份文件(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）…
AUTO（自动） 1016份文件引用(1981–2024) 软件作者： 多德尔、尤西比乌斯、阿兰·查普内斯、法比奥·德科尔、托马斯·费尔格雷夫、尤里·库兹涅佐夫、巴特·奥尔德曼、兰迪·帕芬罗斯、比约恩·桑德斯、王宪军和张成海 相关软件： AUTO-07P；HomCont；自动-86… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
CVX公司 988年文献引用(2006–2024) 软件作者： 迈克尔·格兰特；斯蒂芬·博伊德 相关软件： SDPT3；塞杜米；YALMIP… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Scikit公司 734份文件中引用(2011–2024) 软件作者： 费比安·佩德雷戈萨；加尔·瓦罗佐；亚历山大·格兰福特；文森特·米歇尔；贝特朗·蒂里昂；奥利维尔·格里塞尔（Olivier Grisel）；马修·布隆德尔；彼得·普雷滕霍弗（Peter Prettenhofer）；罗恩·维斯（Ron Weiss）；文森特·杜伯格（Vincent Dubourg）；Jake Vanderplas；亚历山大·帕索斯；大卫·库纳波（David Cournapeau）；马蒂厄·布鲁彻；马蒂厄·佩罗（Matthieu Perrot）；爱杜华·公爵夫人 相关软件： 蟒蛇；SciPy；TensorFlow… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
朱莉娅 652份文件引用(2014–2024) 软件作者： Bezanson J、Karpinski S、Shah VB、Edelman A 相关软件： JuMP；github；微分方程.jl… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
z3（零3） 760份文件引用(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）…
SDPT3系统 768份文件引用(1986–2024) 软件作者： Toh，K.C。；托德，M.J。；TüTüncü，R.H。 相关软件： 塞杜米；YALMIP；CVX… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
伊莎贝尔 741份文件引用(1990–2024) 软件作者： 拉里·保尔森（Larry Paulson）、托比亚斯·尼普科（Tobias Nipkow）、马卡里乌斯·温泽尔（Makarius Wenzel） 相关软件： Isabelle/HOL；HOL；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
数学溢出 759份文件引用（2010年-2023年） 软件作者： Stack Exchange公司 相关软件： 组织环境信息系统；SageMath；GitHub… 主要字段： 数学逻辑与基础（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）…
伊斯兰教 718份文件引用(1971–2023) 软件作者： 符号学 相关软件： 枫树；Mathematica；减少… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
mf工具箱 725份文件引用(2008–2024) 软件作者： N.J.海厄姆 相关软件： mctoolbox；Matlab；MATLAB扩展… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）…
CoCoA公司 680份文件引用(1989–2024) 软件作者： CoCoa-Team；洛伦佐·罗比亚诺 相关软件： 麦考利2号；单一；CoCoALib… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
鹦鹉螺 691份文献引用(1988–2024) 软件作者： 布伦丹·麦凯；阿道夫·皮佩诺 相关软件： 踪迹；间隙；OEIS… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
Uppaal公司 引用于568份文件(1990–2023) 软件作者： 瑞典乌普萨拉大学；丹麦奥尔堡大学 相关软件： 克罗诺斯；高科技；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
AMPL公司 648份文件引用(1989–2023) 软件作者： 福勒，R.，盖伊，D.M.，科尼根，B.W。 相关软件： CPLEX；Ipopt；游戏… 主要字段： 变异微积分和最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
凯利 664份文件引用(1995–2024) 软件作者： C.T.凯利。 相关软件： minpack；L-BFGS；Matlab… 主要字段： 偏微分方程（35-XX）；变异微积分和最优控制；优化（49-XX）；数值分析（65-XX）…
SCIP公司 649份文件引用(2005–2024) 软件作者： 特里斯坦·加里、杰拉尔德·加姆拉斯、帕特里克·杰曼德、安布罗斯·格莱克斯纳、罗伯特·戈特瓦尔德、格雷戈·亨德尔、克里斯托弗·霍尼、斯蒂芬·马赫、马蒂亚斯·米尔滕贝格、本杰明·米勒、马克·普费茨、弗兰齐斯卡·舍勒、菲利佩·塞拉诺、斯特凡·维格斯克、迪特尔·温格、雅各布·维齐格 相关软件： CPLEX；MIPLIB公司；古罗比… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
PVS公司 617文件引用(1993–2023) 软件作者： Sam Owre、Natarajan Shankar、John Rushby 相关软件： Coq；Isabelle/HOL；HOL… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
莫塞克 624份文件引用(1999–2024) 软件作者： 莫斯科ApS 相关软件： YALMIP；塞杜米；SDPT3… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
超小卫星 587份文件引用(2003–2023) 软件作者： Niklas Eén、Niklas Sörensson 相关软件： 糠；伯克敏；z3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
FFTW公司 570份文件引用(2000–2024) 软件作者： 麻省理工学院；马泰奥·弗里戈（Matteo Frigo）；史蒂文·约翰逊 相关软件： Matlab；ATLAS；拉帕克… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HOL公司 592份文件引用（1985年-2023年） 软件作者： 迈克尔·J·C·戈登。 相关软件： 伊莎贝尔；Isabelle/HOL；毫升… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
糠 559份文件引用(2001–2023) 软件作者： Moskewicz，M.、Madigan，C.、Zhao，Y.、Zhang，L.和Malik，S 相关软件： MiniSat；伯克敏；SATO… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
背包 539份文件引用(1995–2024) 软件作者： 戴维·皮辛格（David Pisinger）；保罗·托斯 相关软件： CPLEX；默克纳普；OR-库… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
米扎尔 引用于535份文件(1983–2024) 软件作者： Grzegorz Bancerek；茨瓦夫·拜林斯基；亚当·格拉博夫斯基（Adam Grabowski）；阿图尔·科尼洛维奇；罗伯特·米列夫斯基（Robert Milewski）；亚当·诺莫维奇（Adam Naumowicz）；Andrzej Trybulec；约瑟夫·乌尔班 相关软件： Coq；Isabelle/HOL；HOL灯… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
LINPACK系列 506份文件引用(1979–2023) 软件作者： 犹他大学数学系；J.Dongarra、J.Bunch、C.Moler、G.W.Stewart 相关软件： LAPACK；EISPACK；BLAS… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
MATCONT公司 526份文件引用(2003–2024) 软件作者： Dhooge，A。；乌龟，B。；Govaerts，W。；于库兹涅佐夫。答：。 相关软件： 自动；Matlab；CL_MATCONT… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
切布冯 522份文件引用(2004–2024) 软件作者： Chebfun团队；A Driscoll，N.Hale，L.N.Trefethen 相关软件： Matlab；DLMF；Chebfun2… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
马特普洛特利布 309份文件引用(2007–2024) 软件作者： John Hunter、Darren Dale、Eric Firing、Michael Droettboom和matplotlib开发团队 相关软件： 数字Py；蟒蛇；科学… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TETRAD公司 引用于484份文件(1993–2024) 软件作者： 克拉克·格雷摩尔（Clark Glymour）；理查德·谢恩斯（Richard Scheines）；彼得·斯皮特斯；约瑟夫·拉姆齐 相关软件： pcalg；R；bn学习… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；统计学（62-XX）…
国际实验室 508份文件引用(1999–2024) 软件作者： 齐格弗里德·M·臀部。 相关软件： Matlab；mctoolbox；C-XSC 2.0… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-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）…
UMFPACK公司 459份文件引用(1996–2024) 软件作者： Timothy A.戴维斯。 相关软件： FreeFem++；PETSc；交易.ii… 主要字段： 偏微分方程（35-XX）；变异微积分和最优控制；优化（49-XX）；数值分析（65-XX）…
CGAL公司 422篇文献引用(2000–2024) 软件作者： CGAL编辑委员会 相关软件： LEDA；二维三角剖分；三角形… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
表格 422篇文献引用(1993–2024) 软件作者： Kuipers，J。；上田，T。；Vermaseren，J.A.M。；J.沃林加。 相关软件： 粉碎机；雷杜泽；Axodraw… 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；量子理论（81-XX）…
GeoGebra公司 203篇文献引用(2007–2024) 软件作者： – 相关软件： 几何画板；灰姑娘；GEX… 主要字段： 总体主题；藏品（00-XX）；交换代数（13-XX）；几何（51-XX）…
TPTP公司 引用于419份文件(1994–2023) 软件作者： Geoff Sutcliffe；克里斯蒂安·萨特纳 相关软件： VAMPIRE公司；E定理证明器；SPASS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；几何（51-XX）…
Nuprl公司 418份文件引用(1986–2023) 软件作者： R.L.Constable、S.F.Allen、H.M.Bromley、W.R.Cleaveland、J.F.Cremer、R.W.Harper、D.J.Howe、T.B.Knoblock、N.P.Mendler、P.Panangaden、J.T.Sasaki、S.F Smith 相关软件： Coq；HOL；自动… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
多晶的 400篇文献引用(2000–2024) 软件作者： Ewgenij Gawrilow、Michael Joswig和polymake团队 相关软件： 麦考利2号；格凡；正常（amp；N）… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
联合国后勤基地 406份文件引用(2010–2024) 软件作者： 纳撒内尔·佩罗丁 相关软件： PDCO；iPiano；NESTA… 主要字段： 算子理论（47-XX）；变异微积分和最优控制；优化（49-XX）；数值分析（65-XX）…
symrcm公司 382份文件引用(1979–2022) 软件作者： 艾伦·乔治；Joseph Liu；约翰·吉尔伯特（John R.Gilbert）。；聪明的鼹鼠；罗伯特·施赖伯 相关软件： 稀疏矩阵；CSparse；拉帕克… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
MersenneTwister公司 351篇文献引用（1998年-2023年） 软件作者： 松本诚；西村、高治 相关软件： 测试U01；R；死亡… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
GloptiPoly公司 360篇文献引用(2003–2024) 软件作者： 迪迪埃·亨利安（Didier Henrion）；Jean-Bernard Lasserre；约翰·勒夫伯格 相关软件： 塞杜米；YALMIP；Sostools… 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
麦克利埃塞 355篇文献引用(1981–2024) 软件作者： 海丝，斯特凡；阿米尔·莫拉迪；克里斯托夫·帕尔 相关软件： 自行车；岩浆；NTRU… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
电子数据 360篇文献引用(1992–2024) 软件作者： J.E.克雷莫纳 相关软件： 岩浆；SageMath；PARI/GP… 主要字段： 数论（11-XX）；代数几何（14-XX）；特殊功能（33-XX）…
Qhull公司 332份文件引用(1996–2024) 软件作者： C.Bradford Barber、Hannu Huhdanpaa 相关软件： Matlab；CGAL；三角形… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
水獭 326篇文献引用(1988–2023) 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺（Amor Montano）、何塞·阿尔弗雷多（Jose Alfredo）；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
高超声速 320篇文献引用(1996–2024) 软件作者： 汤姆·亨廷格（Tom Henzinger）、裴勇浩（Pei-Hin-Ho）和霍华德·旺托伊（Howard Wong-Toi）。 相关软件： Uppaal；PHAVer；克罗诺斯… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
基础知识 290份文件引用(2007–2023) 软件作者： 卡拉博加、德尔维斯；巴里耶·巴斯特克 相关软件： GSA；GWO；WOA… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
协和式飞机 328份文件引用(1997–2024) 软件作者： Applegate，David L。；Robert E.Bixby。；瓦舍克·查塔尔；威廉·库克。 相关软件： TSPLIB；LKH；VRP… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-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）…
凯拉斯 265篇文献引用(2017–2024) 软件作者： F.胆汁 相关软件： TensorFlow；亚当；Scikit… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
抱怨 313篇文献引用(1979–2022) 软件作者： 数值算法组（NAG） 相关软件： 唠叨；Matlab；拉帕克… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；统计学（62-XX）…
并入PT_90 310份文件引用(1996–2023) 软件作者： R.Baker Kearfott先生 相关软件： 国际实验室；C-XSC；个人资料/偏见… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ACL2型 287份文件引用（1998年-2023年） 软件作者： 马特·考夫曼（Matt Kaufmann）、斯特罗特·摩尔（Strother Moore） 相关软件： 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）…
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）…
艾根 245篇文献引用(2012–2024) 软件作者： 盖尔·根内鲍德·贝诺·雅各布 相关软件： R；github；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
OCaml公司 274份文件引用（1998年-2023年） 软件作者： INRIA公司；X.Leroy、D.Rémy、J.Vouillon、D.Doligez 相关软件： Coq；哈斯克尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
佩尔 引用于233份文件(1992–2024) 软件作者： 拉里·沃尔 相关软件： TTTPLOTS；蟒蛇；抓握… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
自动-86 280篇文献引用（1987年至2022年） 软件作者： Alan Champneys、Fabio Dercole、Thomas Fairgrife、Yuri Kuznetsov、Bart Oldeman、Randy Paffenroth、Bjorn Sandstede、Xianjun Wang和Chenghai Zhang 相关软件： 自动；PITCON；DSTool… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
克洛诺斯 246篇文献引用（1997年至2022年） 软件作者： Conrado Daws、Alfredo Olivero、Stavros Tripakis、Sergio Yovine 相关软件： Uppaal；高科技；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
其mr 255篇文献引用(1996–2023) 软件作者： 乔治·威格特 相关软件： ITSM2000；R；astsa… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
低分子量脱氧核糖核酸 273份文件引用(2014–2024) 软件作者： http://www.lmfdb.org/确认 相关软件： 岩浆；SageMath；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；特殊功能（33-XX）…
LEDA公司 266份文件引用(1990–2023) 软件作者： 库尔特·梅尔霍恩（Kurt Mehlhorn）；纳什，斯特凡 相关软件： CGAL；CPLEX；升压… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…