Matlab公司 13834年文献引用(1982–2025) 软件作者： MathWorks公司 相关软件： Simulink；LMI工具箱；枫树… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
R（右） 9680份文件中引用（1978年至2024年） 软件作者： 哈德利·威克姆；先生，罗伯特；罗斯·伊哈卡（Ross Ihaka）；约翰·钱伯斯（John M.Chambers）。；William N.Venables。；布莱恩·里普利。 相关软件： CRAN；SAS；ggplot2… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
数学软件 6560份文件引用（1986年至2024年） 软件作者： 沃尔夫勒姆研究公司 相关软件： 枫树；Matlab；R、 … 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
枫树 5368份文件引用(1983–2024) 软件作者： 滑铁卢枫叶公司。 相关软件： Mathematica；Matlab；岩浆… 主要字段： 数论（11-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
OEIS公司 5349份文件引用(1973–2025) 软件作者： 尼尔·J·A·斯隆。；OEIS基金会。 相关软件： SageMath；Mathematica；间隙… 主要字段： 组合数学（05-XX）；数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
github 5222份文件引用(2010–2024) 软件作者： github 相关软件： R；亚当；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
岩浆 4007文件引用(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）…
UCI-毫升 3034文件引用(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）…
间隙 3676份文件引用(1990–2024) 软件作者： GAP集团 相关软件： 岩浆；SageMath；ATLAS集团代表… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
蟒蛇 1432年文献引用(1991–2025) 软件作者： 吉多·范罗苏姆 相关软件： SciPy；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SageMath公司 2596份文件引用(2002–2024) 软件作者： 贤明的开发商；威廉·斯坦因；大卫·乔伊纳（David Joyner）；David Kohel；约翰·克雷莫纳；伯里钦·埃罗卡尔 相关软件： 岩浆；间隙；GitHub… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
麦考利2 引用于2263份文件(1988–2024) 软件作者： 丹尼尔·格雷森（Daniel R.Grayson）。；迈克尔·E·斯蒂尔曼。；戴维·艾森巴德（David Eisenbud）；http://www.math.uiuc.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）…
亚当 1802年文献引用(2016–2024) 软件作者： Diederik P.Kingma、Jimmy Ba 相关软件： TensorFlow；PyTorch；ImageNet… 主要字段： 统计学（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）…
MC工具箱 1630年文献引用(1995–2024) 软件作者： 尼克·海姆 相关软件： LAPACK；Matlab；mftoolx… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-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）…
4.5条 836份文件引用(1991–2024) 软件作者： 昆兰，J。；规则任务 相关软件： UCI-ml；R；威卡… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
伊莎贝尔/HOL 1076份文件引用(1996–2024) 软件作者： 沃尔夫冈·纳拉斯切夫斯基（Wolfgang Naraschewski）；托比亚斯·尼普科 相关软件： 伊莎贝尔；辅酶q；HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
科学Py 822份文件引用(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；GitHub… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
禁忌搜索 1027份文件引用(1991–2022) 软件作者： 弗雷德·格洛弗（Fred Glover）；埃里克·泰勒；多米尼克·德韦拉 相关软件： 分散搜索；CPLEX；VRP… 主要字段： 组合数学（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）…
Scikit公司 735份文件引用(2011–2024) 软件作者： 费比安·佩德雷戈萨；加尔·瓦罗佐；亚历山大·格兰福特；文森特·米歇尔；贝特朗·蒂里昂；奥利维尔·格里塞尔；马修·布隆德尔；彼得·普雷滕霍弗（Peter Prettenhofer）；罗恩·维斯（Ron Weiss）；文森特·杜伯格（Vincent Dubourg）；Jake Vanderplas；亚历山大·帕索斯；大卫·库纳波（David Cournapeau）；马蒂厄·布鲁彻；马蒂厄·佩罗（Matthieu Perrot）；爱杜华·公爵夫人 相关软件： 蟒蛇；SciPy；TensorFlow… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PyTorch公司 693份文件引用(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) 软件作者： 勒霍克；索伦森；杨 相关软件： eigs；JDQZ；JDQR… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
半标准杆 824份文件引用(1996–2023) 软件作者： 马特·旺德；戴维·鲁珀特（David Ruppert）；卡罗尔，R.J。 相关软件： R；加迈尔；fda（R）… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
数学溢出 827份文件引用(2010–2024) 软件作者： Stack Exchange公司 相关软件： 组织环境信息系统；SageMath；GitHub… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
朱莉娅 653份文件引用(2014–2024) 软件作者： Bezanson J、Karpinski S、Shah VB、Edelman A 相关软件： GitHub；JuMP；微分方程.jl… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
z3（零3） 762份文件引用(2001–2024) 软件作者： 微软研究；莱昂纳多·德·莫拉；尼古拉·比约纳 相关软件： CVC4；SMT-LIB；Yices… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
数字Py 442份文件引用(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。 相关软件： SeDuMi公司；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）…
自旋蛋白 619文件引用(1990–2023) 软件作者： 贝尔实验室 相关软件： NuSMV；Uppaal；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-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）…
OR-库 681份文件引用(1985–2024) 软件作者： J.E.比斯利。 相关软件： CPLEX；禁忌搜索；TSPLIB… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
可可 680份文件引用(1989–2024) 软件作者： CoCoa-Team；洛伦佐·罗比亚诺 相关软件： 麦考利2号；单一；CoCoALib… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
鹦鹉螺 691份文献引用(1988–2024) 软件作者： 布伦丹·麦凯；阿道夫·皮佩诺 相关软件： 踪迹；间隙；OEIS… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
阿尔戈60 657份文件引用(1959–2024) 软件作者： Naur，P。；巴克斯，J.W。；等。 相关软件： ALGOL 68；欧拉；损益表… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
玻璃制品 658份文件引用(2008–2024) 软件作者： 拉胡尔·马祖姆德（Rahul Mazumder）；特雷弗·哈斯蒂；J.Friedman，T。；R.蒂比拉尼 相关软件： R；glmnet；巨大… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
凯利 664份文件引用(1995–2024) 软件作者： C.T.凯利。 相关软件： minpack；L-BFGS；Matlab… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
SCIP公司 650篇文献中引用(2005–2024) 软件作者： 特里斯坦·加里、杰拉尔德·加姆拉斯、帕特里克·杰曼德、安布罗斯·格莱克斯纳、罗伯特·戈特瓦尔德、格雷戈·亨德尔、克里斯托弗·霍尼、斯蒂芬·马赫、马蒂亚斯·米尔滕贝格、本杰明·米勒、马克·普费茨、弗兰齐斯卡·舍勒、菲利佩·塞拉诺、斯特凡·维格斯克、迪特尔·温格、雅各布·维齐格 相关软件： CPLEX；MIPLIB公司；古罗比… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
PVS公司 617文件引用（1993年-2023年） 软件作者： Sam Owre、Natarajan Shankar、John Rushby 相关软件： 辅酶q；Isabelle/HOL；HOL… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
超小卫星 引用于587份文件(2003–2023) 软件作者： Niklas Eén、Niklas Sörensson 相关软件： 糠；BerkMin公司；z3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
霍尔 592份文件引用(1985–2023) 软件作者： 迈克尔·J·C·戈登。 相关软件： 伊莎贝尔；Isabelle/HOL；ML… 主要字段： 数学逻辑与基础（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）…
毫升 516份文件引用（1978年至2024年） 软件作者： 罗伯特·哈珀；罗宾·米尔纳（Robin Milner）；托夫特、麦兹；爱丁堡大学 相关软件： HOL；辅酶q；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
背包 539份文件引用(1995–2024) 软件作者： 戴维·皮辛格（David Pisinger）；保罗·托斯 相关软件： CPLEX；默克纳普；OR-库… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
磁粉探伤 490份文件引用(1990–2024) 软件作者： 杰弗里·菲克（Jeffrey A.Fike）。；胡安·阿隆索。 相关软件： LAPACK；CUDA；PETSc… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
米扎尔 535份文件引用(1983–2024) 软件作者： Grzegorz Bancerek；茨瓦夫·拜林斯基；亚当·格拉博夫斯基（Adam Grabowski）；阿图尔·科尼洛维奇；罗伯特·米列夫斯基（Robert Milewski）；亚当·诺莫维奇（Adam Naumowicz）；Andrzej Trybulec；约瑟夫·乌尔班 相关软件： 辅酶q；Isabelle/HOL；HOL灯… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
马特普洛特利布 310份文件引用（2007年至2024年） 软件作者： John Hunter、Darren Dale、Eric Firing、Michael Droettboom和matplotlib开发团队 相关软件： 数字Py；蟒蛇；科学… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
自动化 引用于461份文件(1970–2023) 软件作者： N.G.de Bruijn；弗里克·维迪jk；卡马雷迪内（Kamaredine，Fairouz）；Twan Laan；Rob Nederpelt公司 相关软件： 辅酶q；Nuprl；ML… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
CGAL公司 423份文件引用(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）…
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 相关软件： 辅酶q；HOL；自动… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
GMRFLib公司 408份文件引用(1991–2024) 软件作者： 哈瓦德街；莱昂哈德·赫尔德 相关软件： R；spBayes；贝叶斯DA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
三角形 389份文件引用(1996–2023) 软件作者： 乔纳森·理查德·谢楚克 相关软件： TetGen；CGAL；Gmsh… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
多晶的 400篇文献引用(2000–2024) 软件作者： Ewgenij Gawrilow、Michael Joswig和polymake团队 相关软件： 麦考利2号；格凡；正常（amp；N）… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
MersenneTwister公司 351篇文献引用(1998–2023) 软件作者： 松本真本；西村，Takuji 相关软件： 测试U01；R；死亡… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
MIPLIB公司 374份文件引用(1994–2024) 软件作者： 阿切特伯格，托拜厄斯；科赫，托尔斯滕；亚历山大·马丁 相关软件： SCIP；MIPLIB2003；CPLEX… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GloptiPoly公司 360篇文献引用(2003–2024) 软件作者： 迪迪埃·亨利安（Didier Henrion）；让-伯纳德·拉塞尔；约翰·勒夫伯格 相关软件： SeDuMi公司；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）…
Q船体 332份文件引用(1996–2024) 软件作者： C.Bradford Barber、Hannu Huhdanpaa 相关软件： Matlab；CGAL；三角形… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
水獭 326篇文献引用(1988–2023) 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺，何塞·阿尔弗雷多；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
gmp公司 299篇文献引用(1995–2024) 软件作者： 格兰伦德 相关软件： MPFR；NTL；PARI/GP… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
VAMPIRE公司 308份文件引用(1985–2023) 软件作者： 亚历山大·里亚扎诺夫；安德烈·沃伦科夫 相关软件： TPTP；E定理证明器；SPASS… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几何（51-XX）…
Visual Basic 168篇文献中引用（1993年-2023年） 软件作者： 微软 相关软件： VBA；擅长；访问… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ACL2型 287份文件引用(1998–2023) 软件作者： 马特·考夫曼（Matt Kaufmann）、斯特罗特·摩尔（Strother Moore） 相关软件： 辅酶q；Isabelle/HOL；PVS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数拓扑（55-XX）…
Z轴 237篇文献引用(1958–2023) 软件作者： 吉姆·伍德科克；吉姆·戴维斯 相关软件： 马戏团；电源保护；罗丹… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
贝尔蒂尼 290份文件引用(2008–2024) 软件作者： D.Bates、J.Hauenstein、A.Sommese、C.Wampler 相关软件： PHCpack；麦考利2号；HOM4PS… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
乳胶 251份文件引用(1988–2024) 软件作者： 莱斯利·兰伯特 相关软件： 特克斯；EXPFIT4；枫树… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LMFDB公司 273份文件中引用(2014–2024) 软件作者： http://www.lmfdb.org/确认 相关软件： 岩浆；SageMath；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；特殊功能（33-XX）…
存档正式证据 269份文件中引用（1963年至2024年） 软件作者： 布兰切特，贾斯敏·克里斯蒂安；马克西米利安·哈斯贝克；丹尼尔·马提库克（Daniel Matichuk）；托比亚斯·尼普科 相关软件： Isabelle/HOL；伊莎贝尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
LEDA公司 266份文件引用(1990–2023) 软件作者： 库尔特·梅尔霍恩（Kurt Mehlhorn）；纳什，斯特凡 相关软件： CGAL；CPLEX；升压… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
相位提升 272份文件引用(2012–2024) 软件作者： 伊曼纽尔·坎迪斯。；尤妮娜·C·埃尔达尔。；托马斯·斯特罗默（Thomas Strohmer）；弗拉迪斯拉夫·沃罗宁斯基 相关软件： 导缆器流量；PhaseMax；GESPAR… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；数值分析（65-XX）…
雪佛兰 266份文件引用(1994–2024) 软件作者： Geck，Meinolf；希斯，格哈德；吕贝克，弗兰克；冈特，马尔；格茨·普菲弗 相关软件： 间隙；岩浆；SageMath… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
代码表 263篇文献引用(1998–2022) 软件作者： 马库斯·格拉斯；A.E.Brouwer。 相关软件： 岩浆；间隙；薄荷… 主要字段： 组合数学（05-XX）；数论（11-XX）；几何（51-XX）…
PHC包 250篇文献引用(1999–2024) 软件作者： 简·维舍尔 相关软件： 贝尔蒂尼；麦考利2号；HOM4PS… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）…
梅斯4 250篇文献引用(1995–2024) 软件作者： 威廉·麦库恩 相关软件： 证明人9；水獭；TPTP… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
最大功率因数 249篇文献引用(2001–2024) 软件作者： 纪尧姆·汉洛（Guillaume Hanrot）、文森特·列夫雷（Vincent Lefèvre）、帕特里克·佩利西尔（Patrick Pélissier）、菲利普·塞维尼（Philippe Théveny）、保罗·齐默尔曼 相关软件： gmp；Mathematica；mctoolbox… 主要字段： 数论（11-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
踪迹 244篇文献引用(2014–2024) 软件作者： 阿道夫·皮佩诺 相关软件： nauti；SageMath；间隙… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；凸和离散几何（52-XX）…
几何画板 67篇文献引用(1997–2023) 软件作者： 2009年KCP技术。 相关软件： 灰姑娘；GeoGebra；Cabri-geometry… 主要字段： 总体主题；藏品（00-XX）；几何（51-XX）；数值分析（65-XX）…
开普勒98 237篇文献引用(2000–2024) 软件作者： 托马斯·黑尔斯（Thomas C.Hales）。；塞缪尔·弗格森。 相关软件： Flyspeck；Isabelle/HOL；HOL灯… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；凸和离散几何（52-XX）…
NetworkX公司 197篇文献引用(2008–2024) 软件作者： Aric Hagberg、Dan Schult、Pieter Swart 相关软件： 蟒蛇；SciPy；数字标识… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
高斯人 222篇文献引用(1983–2024) 软件作者： 高斯公司。；http://gaussian.com/people网站/ 相关软件： 西北化工；游戏性；MOLPRO… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；量子理论（81-XX）…
出席 231篇文献引用(2007–2023) 软件作者： Bogdanov，A。；佩利尔，P。；Verbauwhede，I；Orange实验室；波鸿鲁尔大学；丹麦技术大学 相关软件： 西蒙；王子；卡坦… 主要字段： 数论（11-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
隔离 237篇文献引用(1999–2024) 软件作者： Fabrice的Rouillier；保罗·齐默尔曼 相关软件： 克罗内克；FGb；枫树… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；代数几何（14-XX）…
阿格达 233份文件引用(1999–2024) 软件作者： 乌尔夫·诺雷尔 相关软件： 辅酶q；哈斯克尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
E定理证明器 229篇文献引用(2001–2023) 软件作者： 斯蒂芬·舒尔茨 相关软件： VAMPIRE公司；TPTP；SPASS… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
SymPy公司 188篇文献引用(2010–2024) 软件作者： SymPy开发团队；戴维·乔伊纳（David Joyner）；乔尔蒂克，Ondřej；亚伦·梅勒；布莱恩·格兰杰（Brian E.Granger）。 相关软件： 蟒蛇；数字Py；科学… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…