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）…
PETSc公司 1787年文献引用(1996–2024) 软件作者： S.Balay、W.D.Gropp、L.C.McInnes、B.F.Smith 相关软件： FEniCS；流行性腮腺炎；炒作… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
LAPACK公司 1759年文献引用(1988–2024) 软件作者： LAPACK团队：lapack@cs.utk.edu公司 相关软件： BLAS；ScaLAPACK；mctoolbox… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
伦敦银行支持向量机 1061年文献引用(2002–2024) 软件作者： Chih-Chung Chang；林智仁 相关软件： UCI-ml；LIBLINEAR；SVM灯光… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FEniCS公司 1182份文件引用(2007–2024) 软件作者： 剑桥大学、芝加哥大学、德克萨斯理工大学和KTH皇家理工学院Simula研究实验室 相关软件： SyFi；PETSc；道芬… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
科学Py 引用于822份文件(2005–2024) 软件作者： Jones，E.、Oliphant，T.、Peterson，P.等人。 相关软件： 蟒蛇；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TensorFlow公司 855份文件引用(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）…
朱莉娅 653份文件引用(2014–2024) 软件作者： Bezanson J、Karpinski S、Shah VB、Edelman A 相关软件： github；JuMP；微分方程.jl… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
交易.ii 728份文件引用(1999–2024) 软件作者： Bangerth W、Hartman R、Kanschat G 相关软件： 特里利诺斯；PETSc；测试… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
TSPLIB公司 引用于732份文件(1991–2024) 软件作者： 格哈德·雷内特 相关软件： 协和式飞机；LKH；VRP… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
PARI/GP公司 744份文件中引用(1992–2024) 软件作者： 亨利·科恩；卡里姆·贝拉巴斯（Karim Belabas）；PARI组 相关软件： 岩浆；SageMath；间隙… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
OR-库 681份文件引用(1985–2024) 软件作者： 比斯利，J.E。 相关软件： CPLEX；禁忌搜索；TSPLIB… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
开放式泡沫 665份文件引用(2007–2024) 软件作者： OpenCFD有限公司（ESI集团） 相关软件： 流利；github；Matlab… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
FFTW公司 570份文件引用(2000–2024) 软件作者： 麻省理工学院；马泰奥·弗里戈（Matteo Frigo）；史蒂文·约翰逊 相关软件： Matlab；地图集；LAPACK… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
引导库 518份文件引用(1997–2024) 软件作者： 安吉洛·坎蒂；Davison，A.C.Au；D.V.欣克利。 相关软件： 引导；R；ismev… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
公牛 引用于514份文件(1997–2023) 软件作者： 门尼克；乌姆斯；Timberlake公司 相关软件： R；SsfPack；引导… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
马特普洛特利布 309份文件引用(2007–2024) 软件作者： John Hunter、Darren Dale、Eric Firing、Michael Droettboom和matplotlib开发团队 相关软件： 数字Py；蟒蛇；科学… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
布伦特 497份文件引用(1971–2024) 软件作者： 理查德·布伦特（Richard Brent）；约翰·伯克特 相关软件： R；最小包装；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
斯坦 419份文件引用(2013–2024) 软件作者： Stan开发团队 相关软件： R；JAGS；贝叶斯DA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
CGAL公司 423份文件引用(2000–2024) 软件作者： CGAL编辑委员会 相关软件： LEDA；二维三角剖分；三角形… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
UMDES公司 442份文件引用(1996–2023) 软件作者： 克里斯托斯·卡桑德拉斯（Christos G.Cassandras）；斯特凡·拉福琼 相关软件： Supremica；libFAUDES；TCT… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
线性代数库 429份文件引用（1995年至2024年） 软件作者： L.S.布莱克福德。；Choi，J。；克利里，A。；D’Azevedo，E。；德梅尔，J。；迪尔隆，I。；Dongarra，J。；Hammarling，S。；亨利，G。；佩蒂特，A。；斯坦利，K。；Walker，D。；惠利，R.C。 相关软件： LAPACK；BLAS；PLAPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TPTP公司 419份文件引用(1994–2023) 软件作者： Geoff Sutcliffe；克里斯蒂安·萨特纳 相关软件： 吸血鬼；E定理证明器；SPASS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；几何（51-XX）…
抱怨 422篇文献引用(1976–2023) 软件作者： 数值算法组 相关软件： 抱怨；Matlab；LAPACK… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
水蝇 404文件引用(2000–2024) 软件作者： 波皮内特，斯特芬 相关软件： PROST；蜥蜴；SLIC… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GMRF库 408篇文献引用(1991–2024) 软件作者： 哈瓦德街；莱昂哈德·赫尔德 相关软件： R；spBayes；贝叶斯DA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
XFEM公司 407篇文献引用(2002–2024) 软件作者： 博尔达斯，《Stéphane作者简介》；阮富荣；西里尔州杜南；阿莫尔·吉杜姆；洪阮当 相关软件： Matlab；Gmsh；ABAQUS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
炒作 385份文件引用(1993–2024) 软件作者： 福尔戈，R.D。；杨美儿 相关软件： PETSc；BoomerAMG；FEniCS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
Turbo帕斯卡 165篇文献引用(1985–2017) 软件作者： 博兰德；菲利普·卡恩 相关软件： dBase；减少；COBOL… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
卢比 173篇文献引用(2013–2024) 软件作者： 德克·埃德布特尔；罗曼·弗朗索瓦；JJ Allaire；约翰·钱伯斯；道格拉斯·贝茨；凯文·乌希 相关软件： R；RcppArmadillo；ggplot2… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
协和式飞机 328份文件引用(1997–2024) 软件作者： Applegate，David L。；Robert E.Bixby。；瓦舍克·查塔尔；威廉·库克。 相关软件： TSPLIB；LKH；VRP… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
NuSMV公司 281份文件引用(1999–2024) 软件作者： 亚历山德罗·西马蒂；埃德蒙·克拉克；福斯托·金西格里亚（Fausto Giunchiglia）；马可·罗维里（Marco Roveri）；罗伯特·卡瓦达（Roberto Cavada）、米歇尔·多里加蒂（Michele Dorigatti）、亚历山德罗·马里奥蒂（Alessandro Mariotti），安德烈亚·米切利（Andrea Micheli）、塞尔吉奥·莫弗（Sergio Mover）、马可·罗维里（Marco Rover 相关软件： 自旋蛋白；CUDD；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
gmp公司 299篇文献引用（1995年至2024年） 软件作者： 格兰伦德 相关软件： MPFR；NTL；PARI/GP… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
凯拉斯 265篇文献引用(2017–2024) 软件作者： F.胆汁 相关软件： TensorFlow；亚当；GitHub… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
帕迪索 303份文件引用(1999–2024) 软件作者： Olaf Schenk、Klaus Gärtner、George Karypis、Robert Luce、Peter Carbonetto 相关软件： 流行性腮腺炎；稀疏矩阵；LAPACK… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
输入_90 310份文件引用(1996–2023) 软件作者： R.Baker Kearfott先生 相关软件： 国际实验室；C-XSC；轮廓/偏差… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
高铁 302文件引用(1975–2023) 软件作者： 卢瑟福阿普尔顿实验室数值分析小组和其他专家 相关软件： 稀疏矩阵；Ipopt；MA57… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
PSPLIB公司 294份文件引用(1997–2024) 软件作者： Rainer Kolisch；阿诺·斯普雷彻 相关软件： RanGen；LSSPER；CPLEX… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-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）…
艾根 245篇文献引用(2012–2024) 软件作者： 盖尔·根内鲍德·贝诺·雅各布 相关软件： github；R；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）…
克里斯托费尔 271份文件引用(1996–2024) 软件作者： 托宾·A·德里斯科尔 相关软件： SC工具箱；Matlab；SCPACK… 主要字段： 复变量的函数（30-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
GAMLSS公司 262份文件引用(2005–2023) 软件作者： Mikis Stasinopoulos；鲍勃·里格比；Calliope Akantziliotou；弗拉西奥斯·沃杜里斯 相关软件： R；加迈尔；半标准杆… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
LEDA公司 266篇文献引用(1990–2023) 软件作者： 库尔特·梅尔霍恩；纳什，斯特凡 相关软件： CGAL；CPLEX；升压… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
张紧器2传感器 248篇文献引用(2019–2024) 软件作者： Ashish Vaswani等人。 相关软件： 亚当；BERT；ImageNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
XGBoost公司 238篇文献引用(2017–2024) 软件作者： 陈田琪、卡洛斯·盖斯林 相关软件： Scikit；UCI-ml；LightGBM… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MPT公司 255篇文献引用(2004–2023) 软件作者： M.Kvasnica；P.Grieder；M.Baoti；苏黎世联邦理工大学；弗朗西斯科·博雷利 相关软件： YALMIP；CPLEX；Matlab… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MPFR公司 249篇文献引用(2001–2024) 软件作者： 纪尧姆·汉洛（Guillaume Hanrot）、文森特·列夫雷（Vincent Lefèvre）、帕特里克·佩利西尔（Patrick Pélissier）、菲利普·塞维尼（Philippe Théveny）、保罗·齐默尔曼 相关软件： gmp；Mathematica；mctoolbox… 主要字段： 数论（11-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
QAPLIB公司 240篇文献引用(1991–2024) 软件作者： 雷纳·E·伯克德（Rainer E.Burkard）。；斯特凡·卡里什（Stefan E.Karisch）。；Franz伦德尔 相关软件： CPLEX；SDPNAL+；SeDuMi… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SyFi系统 250篇文献引用(2008–2023) 软件作者： 肯特·安德烈·马尔达尔 相关软件： FEniCS；PETSc；Gmsh… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
SNAP（快照） 236篇文献引用(2009–2024) 软件作者： 朱尔·莱斯科维奇 相关软件： 网络X；科内克特；稀疏矩阵… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
DOLFIN公司 235篇文献引用(2004–2023) 软件作者： 安德斯·洛格（Anders Logg）、约翰·霍夫曼（Johan Hoffman）、加思·威尔斯（Garth N.Wells）、约翰·詹森（Johan-Jansson）、奥拉·斯卡瓦格（Ola Skavhaug）、肯特·安德尔·马尔达尔（Kent Andre Mardal）、马丁·桑德夫·阿尔内斯（Martin Sandwe Alnes）、约翰·哈克（Johan-Hake）、尼古拉斯· 相关软件： FEniCS；PETSc；UFL… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
NTL公司 242份文件中引用(1998–2023) 软件作者： 维克托·舒普 相关软件： gmp；岩浆；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；数值分析（65-XX）…
促进 214篇文献引用(2004–2024) 软件作者： Siek J公司；Lee L；Lumsdaine A；J.Maurer；渡边岛南部 相关软件： 增强C++库；BGL；CGAL… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SMT-LIB公司 222篇文献引用(2004–2024) 软件作者： 克拉克·巴雷特；莱昂纳多·德·莫拉；西尔维奥·兰伊斯；阿伦·斯塔姆（Aaron Stump）；塞萨尔·蒂内利 相关软件： z3；CVC4；Yices… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
阿格达 233份文件引用(1999–2024) 软件作者： 乌尔夫·诺雷尔 相关软件： Coq；哈斯克尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
邦明 235篇文献引用(1995–2023) 软件作者： 皮埃尔·博纳米；Lorenz T.Biegler。；Andrew R.康涅狄格。；热拉尔·科努约尔斯；格罗斯曼，伊格纳西奥·E·。；卡尔·D·莱尔德。；Jon Lee；安德烈亚·洛迪；弗朗索瓦·马戈；尼古拉斯·萨瓦亚；安德烈亚斯·瓦赫特 相关软件： Ipopt；CPLEX；SCIP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GSLIB公司 220篇文献引用(1994–2024) 软件作者： Deutsch，C。；日志，A 相关软件： EnKF；SGeMS；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SymPy公司 188篇文献引用(2010–2024) 软件作者： SymPy开发团队；乔伊纳，大卫；乔尔蒂克，Ondřej；亚伦·梅勒；布莱恩·格兰杰（Brian E.Granger）。 相关软件： 蟒蛇；数字Py；科学… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SLEPc公司 225篇文献引用(2003–2024) 软件作者： 埃尔南德斯，维森特；罗曼（Jose E.Roman）。；维达尔·维森特 相关软件： PETSc；ARPACK；MUMPS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
涂鸦 引用于227份文件(1986–2024) 软件作者： 西米恩·法杰特洛维奇 相关软件： AutoGraphiX；图形；人力资源… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）…
DiffSharp（差异锐化） 215篇文献引用(2016–2024) 软件作者： Baydin，A.G.，Pearlmutter，B.A。 相关软件： 亚当；TensorFlow；DGM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
有限元分析 引用于213份文件(1993–2024) 软件作者： 泰勒；加州大学伯克利分校 相关软件： PETSc；ABAQUS；FEAPpv… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
超级LU 206篇文献引用(1997–2024) 软件作者： 十、李雪莉；吉姆·德梅尔（Jim Demmel）；约翰·吉尔伯特；劳拉·格里戈里；邵美岳；山崎一郎 相关软件： 流行性腮腺炎；UMFPACK；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
CSDP公司 212篇文献引用(1999–2023) 软件作者： 布莱恩·博彻斯 相关软件： 塞杜米；SDPT3；SDPA… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
深XDE 206篇文献引用(2019–2024) 软件作者： 陆璐、孟旭辉、毛志平、乔治·卡尼亚达基斯 相关软件： 亚当；DGM；FPINN… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GLPK公司 196篇文献引用(2004–2023) 软件作者： 安德鲁·马科林 相关软件： CPLEX；古罗比；AMPL… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿特拉斯 引用于187份文件(1992–2023) 软件作者： R.克林特·惠利 相关软件： LAPACK；BLAS；PHiPAC… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
火炬差异 192份文件引用(2019–2024) 软件作者： Ricky T.Q.Chen、Yulia Rubanova、Jesse Bettencourt、David Duvenaud 相关软件： 亚当；PyTorch公司；TensorFlow… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
物理工具包 162篇文献引用(2001–2024) 软件作者： Goldberger AL、Amaral LAN、Glass L、Hausdorff JM、Ivanov PCh、Mark RG、Mietus JE、Moody GB、Peng C-K、Stanley HE 相关软件： fda（R）；UCI-ml；R、 … 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；计算机科学（68-XX）…
LIBLINEAR银行 163篇文献引用(2008–2024) 软件作者： 荣恩范；张凯伟；谢卓绝；王祥瑞；林智仁 相关软件： LIBSVM；UCI-ml；Pegasos… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CVC4型 185篇文献引用(2013–2023) 软件作者： Barrett，C.、Conway，C.L.、Deters，M.、Hadarean，L.、Jovanović，D.、King，T.、Reynolds，A.、Tinelli，C。 相关软件： z3；SMT-LIB；数学SAT5… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
MKL公司 158篇文献引用(2002–2024) 软件作者： 英特尔 相关软件： LAPACK；BLAS；CUDA… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
耐克5000 171篇文献引用(2010–2024) 软件作者： 佩普林斯基，A。；施拉特，P。；菲舍尔，P.F。；D.S.亨宁森。 相关软件： Nektar++；西蒙森；Gmsh… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
NLopt（NLopt） 151篇文献引用(2012–2024) 软件作者： S.G.约翰逊。 相关软件： github；R；BOBYQA… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
p4测试 161份文件引用(2010–2024) 软件作者： 卡斯滕·伯斯特德；卢卡斯·威尔科克斯；奥马尔·加塔斯 相关软件： 交易.ii；PETSc；特里利诺斯… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
帕梅蒂斯 161份文件引用(2000–2024) 软件作者： 柯克·施勒格尔（Kirk Schloegel）、乔治·卡里皮斯（George Karypis）、维平·库马尔（Vipin Kumar） 相关软件： PETSc；METIS公司；特里利诺斯… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
libMesh（libMesh） 153篇文献引用(2004–2024) 软件作者： B.S.Kirk、J.W.Peterson、R.H.Stogner和G.F.Carey 相关软件： PETSc；交易.ii；FEniCS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
ETPS公司 162篇文献引用(1986–2022) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning 相关软件： TPS；Isabelle/HOL；霍尔… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
大锤 165篇文献引用(2010–2023) 软件作者： Nik苏尔塔纳；Jasmin Christian布兰切特；劳伦斯·C·鲍尔森。 相关软件： Isabelle/HOL；伊莎贝尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
PYTHIA8公司 154份文件引用(2006–2023) 软件作者： T.Sjöstrand、S.Mrenna、P.Z.Skands 相关软件： MadGraph；赫维格++；FastJet… 主要字段： 数值分析（65-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）…
苏蒂尔 161份文件引用(2002–2024) 软件作者： Joe Czyzyk；杰夫·林德罗斯；沈杰瑞 相关软件： CPLEX；MSLiP；游戏… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
米兰达 155份文件引用(1985–2023) 软件作者： D.A.特纳。 相关软件： 哈斯克尔；毫升；清洁… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
RStan（RStan） 134篇文献引用(2015–2024) 软件作者： 郭继强；等。 相关软件： R；rstan；斯坦… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
增强C++库 132份文件引用(2005–2024) 软件作者： http://www.boost.org/社区/、Beman Dawes、David Abrahams、Rene Rivera 相关软件： 促进；PETSc；BGL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
坎特/卡什 157篇文献引用(1991–2022) 软件作者： 安妮塔·克拉曼（Anita Krahman）、卡罗琳·贾斯特（Carolin Just）、克劳斯·菲克尔（Claus Fieker）、弗洛里安·赫伊（Florian Heß）、何塞·门德斯（Jose Mendez）、吉尔根·克吕内斯（Jürgen Klüners）、马库斯·瓦格纳（Marcus Wagner）、迈克尔·波赫斯特（Michael Pohst）；前作者：Andreas Hoppe、Carsten Friedrichs、Georg Baier、Harald Bartel、Hartmut Bauer、Johannes Graf v.Schmettow、Katharina Geißler、Klaus Wildanger、Maike Henningsen、Mario Daberkow、Martin Schörnig、Max Jüntgen KANT集团、德国数学研究所、柏林理工大学 相关软件： 岩浆；枫树；PARI/GP… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
ITSOL公司 155份文件引用(1991–2024) 软件作者： 李娜；布莱恩·苏霍梅尔；丹尼尔·奥塞·库福尔（Daniel Osei-Kuffuor）；李瑞鹏；萨阿德 相关软件： SPARSKIT；BLAS；ILUT… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Why3号机组 144篇文献引用(2004–2023) 软件作者： 弗朗索瓦·博博特；Jean-Christophe Filliátre；克劳德·马奇；纪尧姆·梅尔金德；安德烈·帕斯科维奇 相关软件： Coq；卡拉卡拉；z3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
EBayesThresh公司 154份文件引用(2004–2024) 软件作者： 伊恩·约翰斯通（Iain M.Johnstone）。；西尔弗曼（Bernhard W.Silverman）。 相关软件： R；伊朗伊斯兰共和国威胁；wavethresh… 主要字段： 欧氏空间（42-XX）的调和分析；概率论与随机过程（60-XX）；统计学（62-XX）…
FITPACK公司 152篇文献引用(1993–2024) 软件作者： 保罗·迪尔克斯 相关软件： R；fda（R）；半标准杆… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；数值分析（65-XX）…
TOMS659号机组 153篇文献引用(1988–2023) 软件作者： 布拉特利·P。；狐狸B L 相关软件： sobol.cc；算法647；MersenneTwister… 主要字段： 数论（11-XX）；统计学（62-XX）；数值分析（65-XX）…
高斯QR 150篇文献引用(2016–2024) 软件作者： 麦考特·M 相关软件： Matlab；rbf_qr；GitHub… 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；功能分析（46-XX）…
OpenGL（OpenGL） 111篇文献引用(1994–2023) 软件作者： Khronos集团 相关软件： CUDA；Cg；OpenCL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
VTK公司 94份文件引用(2000–2024) 软件作者： W.Schroeder、L.Avila、K.Martin、W.Hoffman、C.Law 相关软件： 蟒蛇；ParaView；Gmsh… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
Hadoop公司 101篇文献引用(2010–2023) 软件作者： Apache软件基金会 相关软件： MapReduce；火花；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MAXFLOW（最大流量） 112份文件引用(2001–2024) 软件作者： Y.Boykov；V.科尔莫戈罗夫 相关软件： 抓斗切割；BSDS；SIFT… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…