蟒蛇 1432份文献中引用(1991–2025) 软件作者： 吉多·范罗苏姆 相关软件： SciPy；数字Py；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）…
阿尔戈60 657份文件引用（1959年至2024年） 软件作者： Naur，P。；巴克斯，J.W。；等。 相关软件： ALGOL 68；欧拉；损益表… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
UMFPACK公司 459份文件引用(1996–2024) 软件作者： 蒂莫西·戴维斯（Timothy A.Davis）。 相关软件： FreeFem++；PETSc；交易.ii… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-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）…
XFEM公司 407篇文献引用(2002–2024) 软件作者： 博尔达斯，《Stéphane作者简介》；阮富荣；西里尔州杜南；阿莫尔·吉杜姆；洪阮当 相关软件： Matlab；Gmsh；ABAQUS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
MersenneTwister公司 引用于351份文件(1998–2023) 软件作者： 松本真本；西村、高治 相关软件： 测试U01；R；死忠… 主要字段： 概率论与随机过程（60-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）…
EMD公司 222篇文献引用(2000–2024) 软件作者： Y.鲁布纳 相关软件： Wasserstein GAN；SIFT；简单性… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
ADOL-C公司 260篇文献引用(1991–2024) 软件作者： 安德烈亚·沃尔特（Andrea Walther）、安德烈亚斯·科瓦兹（Andreas Kowarz）、安德烈亚斯·格里万克（Andreas-Griewank） 相关软件： ADIFR；锥体；ADIC… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MPT公司 255篇文献引用(2004–2023) 软件作者： M.Kvasnica；P.Grieder；M.Baoti；苏黎世联邦理工大学；弗朗西斯科·博雷利 相关软件： YALMIP；CPLEX；Matlab… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
C解析 257篇文献引用(2006–2023) 软件作者： 蒂莫西·戴维斯（Timothy A.Davis）。 相关软件： 稀疏矩阵；Matlab；symrcm… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-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）…
开普勒98 237篇文献引用(2000–2024) 软件作者： 托马斯·黑尔斯（Thomas C.Hales）。；塞缪尔·弗格森。 相关软件： 苍蝇斑点；Isabelle/HOL；HOL灯… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；凸和离散几何（52-XX）…
PLTMG公司 218篇文献引用(1990–2023) 软件作者： Randolph E.Bank；加利福尼亚大学 相关软件： 无人值守地面；PETSc；交易.ii… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
VODE（旁白） 216篇文献引用(1989–2024) 软件作者： 彼得·N·布朗（Peter N.Brown）。；乔治·D·伯恩。；Alan C.Hindmarsh。 相关软件： 罗德斯；CHEMKIN公司；LSODE… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
TetGen公司 212篇文献引用(2006–2024) 软件作者： Hang Si公司 相关软件： 三角形；Gmsh；CGAL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
CSDP公司 212篇文献引用(1999–2023) 软件作者： 布莱恩·博彻斯 相关软件： 塞杜米；SDPT3；SDPA… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
无人值守地面 185篇文献引用(1994–2021) 软件作者： Bastian，P。；伯肯，K。；Johannsen，K。；朗·S。；纽伊，N。；伦茨·雷切尔，H。；维纳斯，C。 相关软件： 沙丘；PETSc；PLTMG… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
路径解算器 196篇文献引用(1995–2023) 软件作者： Michael C.Ferris。；托德·蒙森（Todd S.Munson）。 相关软件： GAMS；MCPLIB；MINOS… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-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）…
酯类 137篇文献引用(1985–2023) 软件作者： 杰拉德·贝瑞 相关软件： 卢斯特；信号；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
PYTHIA8公司 154份文件引用(2006–2023) 软件作者： T.Sjöstrand、S.Mrenna、P.Z.Skands 相关软件： MadGraph；赫维格++；FastJet… 主要字段： 数值分析（65-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）…
爆炸 111篇文献引用(2003–2022) 软件作者： 托马斯·亨辛格（Thomas A.Henzinger）。；Jhala，Ranjit；Rupak Majumdar；格雷戈伊尔·萨特雷 相关软件： SLAM；CPA检查员；CBMC… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
BEMECH公司 123篇文献引用(2002–2024) 软件作者： 高晓伟；特雷弗·G·戴维斯。 相关软件： RIM_DOM公司。F90；GeoPDE；BDEM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
帕拉梅什 110篇文献引用(2000–2024) 软件作者： P.MacNeice、K.M.Olson、C.Mobarry、R.de Fainchtein、C.Packer 相关软件： Chombo；闪光；Gerris… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
阿巴克斯 117篇文献引用(1996–2022) 软件作者： 精灵，马提亚斯；卡斯滕·古特温格；迈克尔·Jünger；乔瓦尼·里纳尔迪 相关软件： CPLEX；MINTO公司；SYMPHONY… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
差速器组件 113篇文献引用(1996–2023) 软件作者： 布鲁塞特，是马格纳斯；汉斯·彼得·兰坦根 相关软件： PETSc；LAPACK；UG… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MATPOWER公司 108篇文献引用(2012–2024) 软件作者： R.D.齐默尔曼、C.E.穆里略-桑奇、R.J.托马斯。 相关软件： Ipopt；YALMIP；pstca… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
SHOGUN公司 89份文件引用(2005–2023) 软件作者： Sonnenburg，Sören；冈纳州Rätsch；Christin Schäfer；Schölkopf，伯恩哈德；塞巴斯蒂安·亨舍尔；克里斯蒂安·维德默（Christian Widmer）；乔纳斯·贝尔（Jonas Behr）；亚历山大·齐恩（Alexander Zien）；Fabio De Bona；亚历山大·宾德（Alexander Binder）；基督教徒盖尔；弗朗西语，VojtŞch 相关软件： SimpleMKL；LIBSVM；UCI毫升… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
西雅娜 75篇文献引用(2012–2023) 软件作者： J.Bergstra、O.Breuleux、F.Bastien、P.Lamblin、R.Pascanu、G.Desjardins、J.Turian、D.Warde-Farley、Y.Bengio。 相关软件： TensorFlow；亚当；PyTorch… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
卡萨迪 102份文件引用(2012–2024) 软件作者： Joel Andersson；Åkesson，约翰；Moritz迪尔 相关软件： Ipopt；Matlab；HSL… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
seL4级 92份文件引用(2009–2023) 软件作者： Klein，G.、Elphinstone，K.、Heiser，G.，Andronick，J.、Cock，D.、Derrin，P.、Elkaduwe，D.、Engelhardt，K.，Kolanski，R.、Norrish，M.、Sewell，T.、Tuch，H.、Winwood，S。 相关软件： Isabelle/HOL；Coq；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
HdBCS公司 92份文件引用(2004–2024) 软件作者： 阿德里安·多布拉（Adrian Dobra）；王全利；梁张；迈克·韦斯特 相关软件： 玻璃；BD图形；R、 … 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
ILOG时间表 88篇文献引用(1996–2023) 软件作者： C·勒帕佩 相关软件： CPLEX；炸薯条；JOBSHOP… 主要字段： 一般代数系统（08-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
PAES公司 90篇文献引用（2001年至2020年） 软件作者： – 相关软件： SPEA2；MOEA/D；ParEGO… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
Gecode公司 85篇文献引用(2007–2023) 软件作者： 克里斯蒂安·舒尔特（Christian Schulte），KTH皇家理工学院 相关软件： 微量锌；CPLEX；Choco… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
双球面物理学 90篇文献引用(2015–2024) 软件作者： 克雷斯波，A.J.C。；Domínguez，J.M。；罗杰斯，B.D。；戈梅斯·盖斯特拉，M。；Longshaw，S。；坎内拉斯，R。；瓦康迪奥，R。；巴雷罗，A。；俄亥俄州加西亚·菲尔。 相关软件： CUDA；天体物理学；GADGET… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
星期六4j 86篇文献引用(2007–2023) 软件作者： 勒贝雷；帕兰 相关软件： QMaxSAT；MiniSat；查夫… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
低密度聚乙烯 84份文件引用(1997–2023) 软件作者： 拉德福德·M·尼尔；麦凯，D.J.C。 相关软件： Matlab；岩浆；广场… 主要字段： 组合数学（05-XX）；数论（11-XX）；几何（51-XX）…
SoPlex公司 87份文件引用(1996–2022) 软件作者： 罗兰·旺德林 相关软件： SCIP；CPLEX；MIPLIB… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；数值分析（65-XX）…
可视化C++ 84份文件引用(1993–2023) 软件作者： 微软 相关软件： Visual Basic；OpenGL；VisualStudio。NET… 主要字段： 微分几何（53-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MISER3公司 87份文件引用(1990–2023) 软件作者： L S Jennings、M E Fisher、K L Teo、C J Goh 相关软件： 可视化MISER；Matlab；NLPQLP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
努姆巴 在48份文件中引用(2016–2024) 软件作者： S.K.Lam、A.Pitrou、S.Seibert 相关软件： 蟒蛇；数字Py；科学… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
沃罗诺伊 81份文件引用(1995–2023) 软件作者： 史蒂文·福琼 相关软件： 三角形；Qhull；CGAL… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
动力外壳 65篇文献引用(2001–2023) 软件作者： N.Amenta、S.Choi、R.K.Kolluri 相关软件： SegMatch；CGAL；Qsplat… 主要字段： 凸和离散几何（52-XX）；统计学（62-XX）；数值分析（65-XX）…
ADIC公司 83份文件引用(1996–2023) 软件作者： Howland，P。；诺里斯，B。；B.史密斯。 相关软件： ADIFR；ADOL-C；PETSc… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ACADO公司 76篇文献引用(2010–2024) 软件作者： Boris Houska；汉斯·约阿希姆·费罗；Moritz迪尔 相关软件： Ipopt；qpOASES；CasADi… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
肌肉 54篇文献引用(2005–2023) 软件作者： R.C.埃德加 相关软件： ClustalW；MAFFT；T-咖啡… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
投掷 59篇文献引用(2005–2022) 软件作者： 帕特丽斯·戈德弗里德；尼尔斯·克拉伦德；库什克森 相关软件： 可爱的；z3；KLEE… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ASA公司 76篇文献引用(1993–2021) 软件作者： 莱斯特·英贝尔 相关软件： simannf90；基因组学；PSwarm… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
帝国 78篇文献引用(2004–2023) 软件作者： Sampo Niskanen；帕特里克·R·J·奥斯特格德 相关软件： 鹦鹉螺；岩浆；痕迹… 主要字段： 组合数学（05-XX）；几何（51-XX）；计算机科学（68-XX）…
gnuplot卫星 59篇文献引用（1995年至2024年） 软件作者： 威廉姆斯，T。；凯利，C。 相关软件： LAPACK；茱莉亚；Matplotlib… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
退款 74份文件引用(2012–2023) 软件作者： 戈德史密斯，J。；格雷文，S。；克雷尼西亚努，C。 相关软件： fda（R）；R；半标准杆… 主要字段： 功能分析（46-XX）；微分几何（53-XX）；统计学（62-XX）…
TRLan公司 78篇文献引用(1999–2024) 软件作者： 吴克胜；霍斯特·西蒙 相关软件： JDQZ；IRAM；JDQR… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
DP包 70篇文献引用(2008–2024) 软件作者： Jara，A.、Hanson，T.E.、Quintana，F.A.、Müller，P.、Rosner，G.L。 相关软件： R；贝叶斯DA；CODA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
VCC（沃尔沃汽车公司） 61篇文献引用(2010–2023) 软件作者： Ernie Cohen、Markus Dahlweid、Mark Hillebrand、Dirk Leinenbach、MichałMoskal、Thomas Santen、Wolfram Schulte、Stephan Tobies 相关软件： z3；布吉；Dafny… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
序言 58篇文献引用(1984–2022) 软件作者： 丹尼尔·迪亚兹 相关软件： SICStus公司；SWI-预测；芯片… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
快速_分钟 71篇文献引用(2009–2024) 软件作者： 杨旺；斯蒂芬·博伊德 相关软件： qpOASES；CVXGEN；YALMIP… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
SGeMS公司 68篇文献引用(2005–2023) 软件作者： Remy N、Boucher A、Wu J 相关软件： GSLIB；EnKF；HOSIM… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
扬子乙酰氯 61篇文献引用(1978–2022) 软件作者： 斯蒂芬·C·约翰逊 相关软件： ANTLR；Coq；野牛… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
立方体 70篇文献引用(2016–2023) 软件作者： Cohen，C.、Coquand，T.、Huber，S.、Mörtberg，A。 相关软件： github；Coq；手推车… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
可爱的 50篇文献引用(2003–2022) 软件作者： Koushik Sen；达科·马里诺夫；古尔阿加 相关软件： 投掷；z3；KLEE… 主要字段： 数学逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
DEoptim公司 52篇文献引用(2008–2023) 软件作者： 凯瑟琳·马伦。；大卫·阿迪亚；Gil，David L。；唐纳德·温多弗（Donald Windover）；詹姆斯·克莱恩 相关软件： R；rgenoud；GA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
巨大的 57篇文献引用(2012–2023) 软件作者： 赵拓；刘，韩；凯瑟琳·罗德；约翰·拉弗蒂；拉里·瓦瑟曼 相关软件： 玻璃；R；图表… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MODFLOW公司 61篇文献引用(2001–2022) 软件作者： usgs；Langevin，C.D.，Guo，W。 相关软件： MODFLOW-2000；MT3DMS；GSLIB… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
沃罗++ 59篇文献引用(2012–2024) 软件作者： 克里斯·赖克罗夫特（Chris H.Rycroft）。 相关软件： 三角形；PETSc；CGAL… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
CompCert公司 58篇文献引用(2009–2023) 软件作者： X·勒罗伊。 相关软件： Coq；Isabelle/HOL；z3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
BLISS公司 60篇文献引用(2013–2024) 软件作者： 杜卡斯，L。；Durmus，A。；Lepoint，T。；柳巴舍夫斯基，V。 相关软件： NTRU；NTRU签名；GitHub… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
CFSQP公司 57篇文献引用(1996–2020) 软件作者： 劳伦斯，C。；周杰伦；A.山雀 相关软件： SNOPT；CONOPT公司；禁忌搜索… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GENSMAC公司 61篇文献引用(1994–2020) 软件作者： 汤米，M.F。；菲略，A.C。；库米纳托，J.A。；Mangiavacchi，N。；麦基，S。 相关软件： GENSMAC3D；自由流动；流量-3D… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
GT发动机 54篇文献引用(2006–2024) 软件作者： D.埃贝里 相关软件： VOF工具；卡拉肯；布伦特… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
叫做古迪辛 56篇文献引用(2014–2024) 软件作者： INRIA公司；克莱门特·玛丽亚；Jean-Daniel Boissonnat；马克·格利塞（Marc Glisse）；玛丽埃特·伊维内克 相关软件： 裂土器；PHAT；酒神… 主要字段： 代数拓扑（55-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
梅蒂塔斯基 56篇文献引用(2008–2024) 软件作者： 贝扎德·阿克巴普尔；劳伦斯·C·鲍尔森。 相关软件： QEPCAD；z3；PVS… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；数值分析（65-XX）…
PRONTO3D公司 58篇文献引用(1992–2023) 软件作者： 阿塔韦，西南部。；亨德里克森，文学学士。；Plimpton，S.J.公司。；D.R.加德纳。；沃恩，C.T。；布朗，K.H。；M.W.海因斯坦。 相关软件： LS-DYNA；DYNA3D；ABAQUS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）…
推力 49篇文献引用(2010–2022) 软件作者： NVIDIA公司；Hoberock J，Bell N。 相关软件： CUDA；CUSP；OpenCL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）…
SWIG（开关） 41篇文献引用(2000–2023) 软件作者： D.M.比兹利。 相关软件： 蟒蛇；数字Py；F2PY… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ARPREC公司 56篇文献引用(2005–2022) 软件作者： David H.Bailey。；Yozo，Hida；Li，Xiaoye S。；布兰登·汤普森 相关软件： MPFR；gmp；mctoolbox… 主要字段： 数论（11-XX）；特殊功能（33-XX）；数值分析（65-XX）…
摄像机校准 引用于22份文件(2002–2022) 软件作者： 布盖J-Y 相关软件： 校准；SIFT；Matlab… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；流体力学（76-XX）…
齐古拉 50篇文献引用(2000–2024) 软件作者： Marsaglia，G。；曾伟伟。 相关软件： rnorexp；MersenneTwister；SFMT… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
SWASHES公司 53篇文献引用(2012–2023) 软件作者： Delestre，O.、Lucas，C.、Ksinant，P.-A.、Darboux，F.、Laguerre，C.、Vo，T.-N.-T.、James，F.和Cordier S。 相关软件： HLLE；HE-E1GODF；心情… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
CVXGEN公司 在48份文件中引用(2010–2023) 软件作者： J.马丁利；S.博伊德 相关软件： qpOASES；ECOS；fast_mpc… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
边缘破碎机 46篇文献引用(1999–2019) 软件作者： 罗西尼亚克；佐治亚理工学院；国家科学基金会 相关软件： 二维三角剖分；地铁；LEDA… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PHiPAC公司 在48份文件中引用（1997年至2016年） 软件作者： Jeff A Bilmes；克里斯特·阿萨诺维奇；Rich Vuduc；Sriram Iyer；吉姆·德梅尔（Jim Demmel）；CheeWhye Chin；多米尼克·林 相关软件： 地图集；BLAS；LAPACK… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
CFL3D（CFL3D） 52篇文献引用(2000–2024) 软件作者： 拉姆西，C.L.，比德隆，R.T.，托马斯，J.L。；美国国家航空航天局 相关软件： Spalart-Allmaras；ADIFR；溢流… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
弗拉马-C 43篇文献引用(2009–2023) 软件作者： 帕特里克·鲍丁；理查德·博尼肯（Richard Bonichon）；洛伊克·科伦森；帕斯卡尔·库克；扎伊娜·达盖伊（Zaynah Dargaye）；Jean-Christophe Filliátre；菲利普·赫尔曼；克劳德·马奇；本杰明·莫纳特；扬尼克·莫伊；安妮·帕卡莱特；维吉尔·普雷沃斯托；朱利安·西莫尔斯和鲍里斯·亚科博夫斯基 相关软件： Coq；Why3；z3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
冥王星 在48份文件中引用(2007–2022) 软件作者： 米农，A。；博多，G。；马萨利亚，S。；Matsakos，T。；O.Tesilenu。；Zanni，C。；A.法拉利。 相关软件： 雅典娜；闪光；HLLE… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
InterFOAM公司 49篇文献引用(2013–2023) 软件作者： Suraj S Deshpande；拉克希曼•阿努莫鲁；马里奥·特鲁希略 相关软件： OpenFOAM；格里斯；PROST… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
TALx86 44篇文献引用(1998–2022) 软件作者： 格雷格·莫里塞特、卡尔·克莱里、尼尔·格鲁、丹·格罗斯曼、理查德·萨缪尔、弗雷德里克·史密斯、大卫·沃克、斯蒂芬妮·威里奇、史蒂夫·兹丹塞维奇 相关软件： Coq；毫升；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
圆形切口 47篇文献引用(1990–2023) 软件作者： 塞缪尔·伯尔；蒙特罗，雷纳托特区。；张茵 相关软件： SDPLR；向外旋转；Biq Mac… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SOLA公司 在48份文件中引用(1980–2023) 软件作者： 希特，C.W。；尼科尔斯，B.D。；北卡罗来纳州罗梅罗。 相关软件： SLIC；GENSMAC；SOLA-VOF… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
dcc公司 46篇文献引用(2012–2023) 软件作者： 乌韦·诺曼 相关软件： ADOL-C；锥体；旋转… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
AceGen公司 45篇文献引用(2001–2023) 软件作者： J·科尔克。 相关软件： AceFEM；Mathematica；短信… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
CppAD公司 39篇文献引用(2008–2023) 软件作者： Bradley M.贝尔。；詹姆斯·V·伯克。 相关软件： Ipopt；ADOL-C；SCIP… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
WhyML公司 44篇文献引用(2013–2023) 软件作者： Jean-Christophe Filliátre；安德烈·帕斯科维奇 相关软件： Why3；z3；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
OGDF公司 44篇文献引用(2008–2023) 软件作者： 马库斯·奇马尼；卡斯滕·古特温格；迈克尔·朱格尔（Michael Jünger）；卡斯滕·克莱因（Karsten Klein）；佩特拉·穆策尔（Petra Mutzel）；舒尔茨 相关软件： 斯坦利布；GDToolkit；SCIP… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；数值分析（65-XX）…