Matlab公司 13834年文献引用(1982–2025) 软件作者： MathWorks公司 相关软件： Simulink；LMI工具箱；枫树… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
蟒蛇 1432年文献引用(1991–2025) 软件作者： 吉多·范罗苏姆 相关软件： SciPy；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
自由Fem++ 1694年文献引用(2000–2024) 软件作者： 奥利维尔·皮罗内奥（Olivier Pironenau）、弗雷德里克·赫赫特（Frédéric Hecht）、安托万·勒海利奇（Antoine Le Hyaric）、雅克·莫里斯（Jacques Morice） 相关软件： PETSc；FEniCS；UMFPACK… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
单一 引用于1650份文件(1991–2024) 软件作者： Wolfram Decker；格特·马丁·格雷尔（Gert-Martin Greuel）；格哈德·普菲斯特；汉斯·舍尼曼 相关软件： 麦考利2号；可可；SageMath… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
PRMLT公司 1373年文件引用(2006–2024) 软件作者： C.主教 相关软件： UCI-ml；ElemStatLearn；亚当… 主要字段： 统计学（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）…
阿尔戈60 657份文件引用(1959–2024) 软件作者： Naur，P。；巴克斯，J.W。；等。 相关软件： ALGOL 68；欧拉；损益表… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
斯坦 419份文件引用(2013–2024) 软件作者： Stan开发团队 相关软件： R；JAGS；贝叶斯DA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
协和式飞机 328份文件引用(1997–2024) 软件作者： Applegate，David L。；罗伯特·E·比克斯比。；瓦舍克·查塔尔；威廉·库克。 相关软件： TSPLIB；LKH；VRP… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
艾菲尔 234篇文献引用(1989–2023) 软件作者： 贝特朗·梅耶 相关软件： JML；Smalltalk；规范#… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-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）…
克里斯托费尔 271份文件引用(1996–2024) 软件作者： 托宾·A·德里斯科尔 相关软件： SC工具箱；Matlab；SCPACK… 主要字段： 复变量函数（30-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
C解析 257篇文献引用(2006–2023) 软件作者： 蒂莫西·戴维斯（Timothy A.Davis）。 相关软件： 稀疏矩阵；Matlab；symrcm… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
DiffSharp（差异锐化） 216篇文献引用(2016–2024) 软件作者： Baydin，A.G.，Pearlmutter，B.A。 相关软件： 亚当；TensorFlow；DGM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GLPK公司 196篇文献中引用(2004–2023) 软件作者： 安德鲁·马科林 相关软件： CPLEX；古罗比；AMPL… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
萤火虫 165篇文献引用(2016–2024) 软件作者： Robert C.Kirby、Florian Rathgeber、David A.Ham、Lawrence Mitchell、Michael Lange、Fabio Luporini、Andrew T.McRae、Gheorghe-Teodor Bercea、Graham R.Markall、Paul H.J.Kelly 相关软件： PETSc；FEniCS；UFL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
酯类 137篇文献引用(1985–2023) 软件作者： 杰拉德·贝瑞 相关软件： 卢斯特；信号；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
Why3号机组 144篇文献引用(2004–2023) 软件作者： 弗朗索瓦·博博特；Jean-Christophe Filliátre；克劳德·马奇；纪尧姆·梅尔金德；安德烈·帕斯科维奇 相关软件： 辅酶q；卡拉卡拉；z3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
OBJ3型 140篇文献引用(1989–2023) 软件作者： J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud；（比基尼） 相关软件： 莫德；OBJ咖啡馆；CASL… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
CVRPSP公司 142篇文献引用(2002–2024) 软件作者： Lysgaard，J。 相关软件： VRP；CVRPSEP；CPLEX… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
布吉 127篇文献引用(2007–2023) 软件作者： K.鲁斯坦M.莱诺 相关软件： z3；Why3；规范#… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
爆炸 111篇文献引用(2003–2022) 软件作者： 托马斯·亨辛格（Thomas A.Henzinger）。；Jhala，Ranjit；Rupak Majumdar；格雷戈伊尔·萨特雷 相关软件： SLAM；CPA检查员；CBMC… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Flyspeck飞点 133篇文献引用(2004–2024) 软件作者： 托马斯·黑尔斯（Thomas C.Hales）。；Tankink，Carst公司；卡利西克，Cezary；约瑟夫·乌尔班（Josef Urban）；赫尔曼·格乌弗斯 相关软件： HOL灯；Isabelle/HOL；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-XX）…
测试U01 127篇文献引用(2005–2024) 软件作者： P.L'Ecuyer；R.西蒙德 相关软件： MersenneTwister；迪哈德；NIST统计测试套件… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；数值分析（65-XX）…
RcppArmadillo公司 70篇文献引用(2012–2023) 软件作者： 罗曼·弗朗索瓦（Romain Francois）、德克·埃德布特尔（Dirk Eddelbuettel）、道格·贝茨（Doug Bates） 相关软件： R；卢比；犰狳… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
C-XSC 2.0版 128篇文献引用(1979–2023) 软件作者： 沃纳·霍夫舒斯特；沃尔特·克雷默；R.Klatte公司 相关软件： C-XSC；国际实验室；进入PT_90… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
SETHEO公司 118篇文献引用(1990–2022) 软件作者： Letz，R。；舒曼，J。；拜耳，S。；比贝尔，W。 相关软件： TPTP；水獭；SPASS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
Risa/Asir公司 122篇文献引用(1992–2024) 软件作者： 北野正彦、横山和弘、竹岛拓夫、下山竹石、安井广志、，Takayuki Kando、Tomokatsu Saito、Yuji Kondoh、Hirokazu Murao、Thomas Sturm、Katsuyoshi Ohara、Nobuki Takayama（致力于基础设计、内核源代码和核心库）。关于库的提交者和最近的贡献者，请参见http://www.math.kobe-u.ac.jp/OpenXM/people.html富士通实验室或asir.org或神户大学。 相关软件： 单一；麦考利2号；Kan… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
高斯 108篇文献引用(1988–2023) 软件作者： Aptech Systems公司。 相关软件： R；Matlab；SAS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
ASTREE公司 112篇文献引用（2002年-2023年） 软件作者： 帕特里克·库索特（Patrick Cousot）、拉迪亚·库索特、杰罗姆·费雷特（Jeróme Feret）、劳伦特·毛博尔涅（Laurent Mauborgne）、安托万·米内（Antoine Miné）、大卫·莫尼奥（David Monniaux）、泽维尔 相关软件： 停机坪；z3；PPL… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；数值分析（65-XX）…
轻量级Java 108篇文献引用(2001–2023) 软件作者： Atsushi Igarashi；本杰明·皮尔斯（Benjamin C.Pierce）。；菲利普·沃德勒 相关软件： JML；毫升；埃菲尔… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
落叶松 105篇文献引用(1989–2023) 软件作者： John V.Guttag。；詹姆斯·霍宁。 相关软件： JML；艾菲尔铁塔；PVS… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；群论与推广（20-XX）…
PDDL公司 95篇文献引用(2000–2023) 软件作者： 福克斯，M。；Long，D。；Ghallab，M.、Howe，A.、Knoblock，C.、McDermott，D.、Ram，A.、Veloso，M.，Weld，D.、Wilkins，D。 相关软件： 图形平面图；步行卫星；SAPA… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
C-XSC（C-XSC） 111篇文献引用(1992–2023) 软件作者： 克里斯蒂安·劳奥 相关软件： C-XSC 2.0；国际实验室；进入PT_90… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GiNaC公司 92份文件引用(2002–2024) 软件作者： 欧洲专利局（EPO）；C.W.Bauer、A.Frink、R.Kreckel 相关软件： 形式；雷杜泽；火灾… 主要字段： 复变量函数（30-XX）；几何（51-XX）；数值分析（65-XX）…
hlib公司 103篇文献引用(2005–2023) 软件作者： 斯特芬·博姆（Steffen Börm）；Lars Grasedyck；莱比锡Max-Planck-Institut 相关软件： STRUMPACK；乔治；GitHub… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；积分方程（45-XX）…
马戏团 81份文件引用(2002–2024) 软件作者： Woodcock，J.C.P.，卡瓦尔坎蒂，A.L.C。 相关软件： Z；电源保护；Simulink… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
BENSOLVE公司 96篇文献引用(2011–2024) 软件作者： 安德烈亚斯·勒恩；本杰明·魏宁 相关软件： CVX；GitHub；古罗比… 主要字段： 功能分析（46-XX）；变分法与最优控制；优化（49-XX）；凸和离散几何（52-XX）…
ILOG时间表 88篇文献引用(1996–2023) 软件作者： C·勒帕佩 相关软件： CPLEX；炸薯条；JOBSHOP… 主要字段： 一般代数系统（08-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
QPL公司 91份文件引用(2004–2023) 软件作者： 彼得·塞林格 相关软件： 质量管理清单；qGCL；Quipper… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；功能分析（46-XX）…
卡拉卡拉 79份文件引用(2004–2022) 软件作者： 马奇，C。；Paulin Mohring，C.教授。；X·乌尔班。 相关软件： Why3；Caduceus；JML… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
梅沙赫 85篇文献引用(1994–2024) 软件作者： 大卫·E·斯图尔特（David E.Stewart）。；兹比格尼乌·莱克 相关软件： Chrono；SIMEM3雷诺；RODAS… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
利普索 86篇文献引用(1997–2022) 软件作者： 张茵；格雷格·斯威里杜克 相关软件： PCx；Matlab；Mosek… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
赛马拉松 54篇文献引用(2008–2023) 软件作者： Behnel，S.、Bradshaw，R.、Dalcín，L.、Florisson，M.、Makarov，V.、Seljeboton，D.S。 相关软件： 蟒蛇；数字Py；科学… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ASA公司 76篇文献引用(1993–2021) 软件作者： 莱斯特·英贝尔 相关软件： simannf90；基因组学；PSwarm… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
TRLan公司 78篇文献引用(1999–2024) 软件作者： 吴克胜；霍斯特·西蒙 相关软件： JDQZ；IRAM；JDQR… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
皮克特 74份文件引用(1996–2022) 软件作者： 本杰明·皮尔斯（Benjamin C.Pierce）。；大卫·N·特纳 相关软件： 乔卡姆；莫德；Oz… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
ttt批次 70篇文献引用（2007年至2024年） 软件作者： Aiex，Renata M。；莫里西奥·雷森德（Mauricio G.C.Resende）。；塞尔索·C·里贝罗。 相关软件： PERL；GRASP；irace… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
伊莎贝尔/采埃孚 70篇文献引用（1993年-2023年） 软件作者： 劳伦斯·保尔森 相关软件： 伊莎贝尔；辅酶q；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数拓扑（55-XX）…
CompCert公司 58篇文献引用(2009–2023) 软件作者： X·勒罗伊。 相关软件： 辅酶q；Isabelle/HOL；z3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
根 34份文件引用(2001–2023) 软件作者： 勒内·布伦；天线制造商 相关软件： PYTHIA8；GEANT4；Python… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
GreatSPN公司 53篇文献引用(1988–2022) 软件作者： 朱奈德·巴巴尔；马可·贝库蒂；苏珊娜·多纳泰利（Susanna Donatelli）；安德鲁·米纳 相关软件： GreatSPN 1.7；TimeNET；CADP… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
XploRe公司 57篇文献引用(1995–2014) 软件作者： 沃尔夫冈·哈德尔 相关软件： R；SAS；JASP… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；数值分析（65-XX）…
爪牙 54篇文献引用(2005–2023) 软件作者： Jefferson，C.、Kotthoff，L.、Moore，N.、Nightingale，P.、Petrie，K.E.、Rendl，A。 相关软件： 间隙；微量锌；OEIS… 主要字段： 组合数学（05-XX）；结合环与代数（16-XX）；群论与推广（20-XX）…
SWIG（开关） 41篇文献引用(2000–2023) 软件作者： D.M.比兹利。 相关软件： 蟒蛇；数字Py；F2PY… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
X减少 53篇文献引用(2003–2020) 软件作者： Haruo Hosoya，Benjamin C.Pierce（本杰明·皮尔斯） 相关软件： CDuce；XPath；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
KIV公司 51篇文献引用(1988–2022) 软件作者： M.Heisel、B.Langenstein、W.Reif、G.Schellhorn、K.Stenzel、W.Stephan、A.Wolpers等人。 相关软件： Z；PVS；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
LEO-II型 52篇文献引用(2008–2021) 软件作者： Benzmüller，C.，Paulson，L.，Theiss，F.，Fietzke，A 相关软件： 沙达拉；TPTP；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
Frama-C公司 43篇文献引用(2009–2023) 软件作者： 帕特里克·鲍丁；理查德·博尼肯（Richard Bonichon）；洛伊克·科伦森；帕斯卡尔·库克；扎伊娜·达盖伊（Zaynah Dargaye）；Jean-Christophe Filliátre；菲利普·赫尔曼；克劳德·马奇；本杰明·莫纳特；扬尼克·莫伊；安妮·帕卡莱特；维吉尔·普雷沃斯托；朱利安·西莫尔斯和鲍里斯·亚科博夫斯基 相关软件： 辅酶q；Why3；z3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
RealPaver公司 51篇文献引用（2003年至2017年） 软件作者： 劳伦特·格兰维尔（Laurent Granvilliers） 相关软件： 数字；进入PT_90；监狱… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
冥王星 在48份文件中引用(2007–2022) 软件作者： 米农，A。；博多，G。；马萨利亚，S。；Matsakos，T。；O.Tesilenu。；Zanni，C。；A.法拉利。 相关软件： 雅典娜；闪光；HLLE… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
SPNP公司 47篇文献引用(1990–2023) 软件作者： Christophe Hirel、Bruno Tuffin、Kishor S.Trivedi 相关软件： DSPNexpress；GreatSPN 1.7；分享… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
极乐 49篇文献引用（2007年至2024年） 软件作者： T.Junttila、P.Kaski 相关软件： 鹦鹉螺；踪迹；间隙… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
TALx86 44篇文献引用(1998–2022) 软件作者： 格雷格·莫里塞特、卡尔·克莱里、尼尔·格鲁、丹·格罗斯曼、理查德·萨缪尔、弗雷德里克·史密斯、大卫·沃克、斯蒂芬妮·威里奇、史蒂夫·兹丹塞维奇 相关软件： 辅酶q；毫升；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
感觉++ 40篇文献引用(1999–2023) 软件作者： 克里斯托夫·普鲁德霍姆（Christophe Prud’homme）、文森特·查班内斯（Vincent Chabannes）、圣埃芬·韦斯（Stéphane Veys）、阿卜杜拉耶·萨姆克（Abdoulay Samake）、塞西莉·达沃森（Cecile Daversin）、克里斯托夫·特罗菲姆（Christphe Trophime）、贡卡洛·佩纳（Goncalo Pena）、纪尧姆·多利（Guillau 相关软件： PETSc；交易.ii；FreeFem++… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
AceGen公司 45篇文献引用(2001–2023) 软件作者： J·科尔克。 相关软件： AceFEM；Mathematica；短信… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
WhyML公司 44篇文献引用(2013–2023) 软件作者： Jean-Christophe Filliátre；安德烈·帕斯科维奇 相关软件： Why3；z3；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
马塞马吉克斯 42篇文献引用（2006年至2021年） 软件作者： 乔里斯·范德霍温、格雷戈伊尔·勒塞夫、伯纳德·穆兰 相关软件： gmp；枫树；FLINT… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
CVRPSEP公司 43篇文献引用(2006–2023) 软件作者： Lysgaard J。 相关软件： CVRPSP；VRP；CPLEX… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
BPMPD公司 41篇文献引用(1999–2022) 软件作者： 塞巴·梅萨罗斯 相关软件： NETLIB LP测试集；CPLEX；优化软件的决策树… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
系统C 29篇文献引用(2002–2017) 软件作者： 大卫·C·布莱克。；杰克·多诺万。 相关软件： 皮纳帕；LusSy；酯类… 主要字段： 代数几何（14-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
CIL公司 33篇文献引用（2002年至2022年） 软件作者： Necula，G.C.，McPeak，S.，Rahul，S.P.，Weimer，W。 相关软件： 爆炸；CBMC；SLAM… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
伊德里斯 40篇文献引用(2011–2023) 软件作者： 埃德温·布雷迪 相关软件： 辅酶q；阿格达；Irdis… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
弓 引用于27份文件(2001–2020) 软件作者： 安德鲁·麦克拉姆 相关软件： UCI-ml；C4.5；LIBSVM… 主要字段： 功能分析（46-XX）；统计学（62-XX）；计算机科学（68-XX）…
短讯服务 38篇文献引用(1997–2023) 软件作者： 乔·科勒克 相关软件： Mathematica；AceFEM；AceGen… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
线轴 38篇文献引用(2000–2017) 软件作者： Ashcraft，C.、Pierce，D.、Wah，D.K.、Wu，J。 相关软件： METIS公司；MUMPS；ScaLAPACK… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Blitz++库 32篇文献引用(2000–2021) 软件作者： 托德·维尔德胡岑 相关软件： 闪电战++；促进；BLAS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
F2PY（上一财年） 引用于27份文件(2000–2022) 软件作者： 佩鲁·彼得森 相关软件： 蟒蛇；SciPy；数字标识… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
LUPS公司 37篇文献引用(1999–2019) 软件作者： 何塞·朱利奥·阿尔弗雷斯；佩雷拉，路易斯·莫尼兹；哈利娜·普尔兹穆森斯卡（Halina Przymusinska）；Przymusinski，Teodor C。 相关软件： XSB；平滑；EVOLP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
摩塞尔 37篇文献引用(2003–2021) 软件作者： Fair Isaac公司；Colombani Y.、Heipcke S。 相关软件： 快速表达；AMPL；游戏… 主要字段： 总体主题；藏品（00-XX）；阶、格、有序代数结构（06-XX）；数值分析（65-XX）…
茂物 引用于27份文件(2003–2014) 软件作者： 马修·德怀尔（Matthew B.Dwyer）。；约翰·哈特克利夫；马修·胡锡；马修·罗比 相关软件： 自旋蛋白；班德拉；veriSoft… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
概念网 19份文件引用(2007–2023) 软件作者： Liu H，Singh P；哈瓦西，C.，斯佩尔，R.，阿隆索，J。 相关软件： WordNet；BERT；雅高… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
正向差异 28篇文献引用(2017–2023) 软件作者： Jarrett Revels、Miles Lubin、Theodore Papamarkou 相关软件： 朱莉娅；GitHub；PyTorch… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
MPM3D（MPM3D） 36篇文献引用(2011–2023) 软件作者： 清华大学 相关软件： MPM3DMP；卡拉梅洛；LS-DYNA… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
尼莫 33篇文献引用(2017–2024) 软件作者： 克劳斯·菲克、威廉·哈特、汤米·霍夫曼、弗雷德里克·约翰逊 相关软件： 赫克；朱莉娅；间隙… 主要字段： 数论（11-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
神童 24篇文献引用(1992–2019) 软件作者： Carbonell，J.、Blythe，J.，Etzioni，O.、Gil，Y.、Joseph，R.、Kahn，D.、Knoblock，C.、Minton，S.、Pérez，M.A.、Reilly，S.，Veloso，M.、Wang，X。 相关软件： UCPOP；图形平面图；KQML… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
SeaHorn公司 36篇文献引用(2015–2023) 软件作者： Gurfinkel，A.，Kahsai，T.，Komuravelli，A.，Navas，J.A。 相关软件： z3；垫片；CPA检查器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
克莱尔 32篇文献引用(1998–2019) 软件作者： 伊夫·卡索；弗朗索瓦·沙维尔（François-Xavier），约塞特（Josset）；弗朗索瓦·拉伯特 相关软件： 奥兹；乔科；SALSA… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
o树 35篇文献引用(2017–2024) 软件作者： Chen，D.L。；Schonger，M。；C·威肯斯。 相关软件： Z树；hroot；奥赛… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
大学数学 34份文件引用(2016–2023) 软件作者： 沃沃德斯基，V.，莫特伯格，A.，阿伦斯，B.，莱利，C.，潘尼拉，T.，马特，R。 相关软件： GitHub；辅酶q；立方体… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；范畴理论；同调代数（18-XX）…
布瑞恩 23篇文献引用(2008–2023) 软件作者： Goodman DFM、Brette R 相关软件： 神经元；巢穴；Pynn… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
Cg公司 18篇文献引用(2006–2012) 软件作者： 威廉·R·马克；R.Steven Glanville；库尔特·阿克利（Kurt Akeley）；马克·基尔加德 相关软件： CUDA；OpenGL；OpenCL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
SCL总成 32篇文献引用(2009–2024) 软件作者： 杜珊·武德拉戈维奇；伊万娜·维达诺维奇；安顿巴拉日；保萨米·穆鲁加南丹（Paulsamy Muruganandam）；Adhikari，Sadhan K。 相关软件： 格罗斯·皮塔耶夫斯基；AEDU；图像时间1d… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
自动教程 5份文件引用(2001–2021) 软件作者： 亚瑟·C·格雷瑟。；卢、舒兰；乔治·坦纳（George Tanner）·杰克逊（Jackson）；米切尔、希瑟·海特；马修·文图拉；安德鲁·奥尼（Andrew Olney）；马克斯·路易斯。 相关软件： LIBSVM；汗学院；科姆特… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
见鬼去吧 30篇文献引用(2017–2024) 软件作者： 克劳斯·菲克、威廉·哈特、汤米·霍夫曼、弗雷德里克·约翰逊 相关软件： 尼莫；朱莉娅；SageMath… 主要字段： 数论（11-XX）；代数几何（14-XX）；数值分析（65-XX）…
QuickBasic（快速基本） 9份文件引用(1990–2012) 软件作者： 微软 相关软件： AFMULT；S-加；Matlab… 主要字段： 实函数（26-XX）；特殊功能（33-XX）；统计学（62-XX）…