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）…
单一 引用于1650份文件(1991–2024) 软件作者： Wolfram Decker；格特·马丁·格雷尔（Gert-Martin Greuel）；格哈德·普菲斯特；汉斯·舍尼曼 相关软件： 麦考利2号；可可；SageMath… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-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）…
C解析 257篇文献引用(2006–2023) 软件作者： 蒂莫西·戴维斯（Timothy A.Davis）。 相关软件： 稀疏矩阵；Matlab；symrcm… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
GLPK公司 196篇文献中引用(2004–2023) 软件作者： 安德鲁·马科林 相关软件： CPLEX；古罗比；AMPL… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-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）…
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）…
高斯 108篇文献引用(1988–2023) 软件作者： Aptech Systems公司。 相关软件： R；Matlab；SAS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
阿斯特里 112篇文献引用（2002年-2023年） 软件作者： 帕特里克·库索特（Patrick Cousot）、拉迪亚·库索特、杰罗姆·费雷特（Jeróme Feret）、劳伦特·毛博尔涅（Laurent Mauborgne）、安托万·米内（Antoine Miné）、大卫·莫尼奥（David Monniaux）、泽维尔 相关软件： 停机坪；z3；PPL… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；数值分析（65-XX）…
落叶松 105篇文献引用(1989–2023) 软件作者： John V.Guttag。；詹姆斯·霍宁。 相关软件： JML；艾菲尔铁塔；PVS… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；群论与推广（20-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）…
梅沙赫 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）…
皮克特 74份文件引用(1996–2022) 软件作者： 本杰明·皮尔斯（Benjamin C.Pierce）。；大卫·N·特纳 相关软件： 乔卡姆；莫德；Oz… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-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）…
X减少 53篇文献引用(2003–2020) 软件作者： Haruo Hosoya，Benjamin C.Pierce（本杰明·皮尔斯） 相关软件： CDuce；XPath；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-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 相关软件： nauti；踪迹；间隙… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；计算机科学（68-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）…
伊德里斯 40篇文献引用(2011–2023) 软件作者： 埃德温·布雷迪 相关软件： 辅酶q；阿格达；Irdis… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
Blitz++库 32篇文献引用(2000–2021) 软件作者： 托德·维尔德胡岑 相关软件： 闪电战++；促进；BLAS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-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）…
尼莫 33篇文献引用(2017–2024) 软件作者： 克劳斯·菲克、威廉·哈特、汤米·霍夫曼、弗雷德里克·约翰逊 相关软件： 赫克；朱莉娅；间隙… 主要字段： 数论（11-XX）；代数几何（14-XX）；结合环与代数（16-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）
Cg公司 18篇文献引用(2006–2012) 软件作者： 威廉·R·马克；R.Steven Glanville；库尔特·阿克利（Kurt Akeley）；马克·基尔加德 相关软件： CUDA；OpenGL；OpenCL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
SCL总成 32篇文献引用(2009–2024) 软件作者： 杜珊·武德拉戈维奇；伊万娜·维达诺维奇；安顿巴拉日；Muruganandam，Paulsamy；Adhikari，Sadhan K。 相关软件： 格罗斯·皮塔耶夫斯基；AEDU；图像时间1d… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
见鬼去吧 30篇文献引用(2017–2024) 软件作者： 克劳斯·菲克、威廉·哈特、汤米·霍夫曼、弗雷德里克·约翰逊 相关软件： 尼莫；朱莉娅；SageMath… 主要字段： 数论（11-XX）；代数几何（14-XX）；数值分析（65-XX）…
QuickBasic（快速基本） 9份文件引用(1990–2012) 软件作者： 微软 相关软件： AFMULT；S-加；Matlab… 主要字段： 实函数（26-XX）；特殊功能（33-XX）；统计学（62-XX）…
dSPIN公司 22篇文献引用(2000–2014) 软件作者： Demartini，C.，Iosif，R.，Sisto，R。 相关软件： 自旋蛋白；班德拉；Java PathFinder… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
福赛特 29篇文献引用(1990–2022) 软件作者： 约翰·雷诺兹 相关软件： 毫升；斯卡拉；Coq… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
NLPLIB公司 30篇文献引用(1999–2020) 软件作者： 霍姆斯特罗姆（Kenneth Holmström）；马蒂亚斯·比约克曼 相关软件： OPERA；TOMLAB公司；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
J流量 23篇文献引用（2002年至2022年） 软件作者： 安德鲁·迈尔斯 相关软件： TaintDroid；哈斯克尔；TALx86… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
PhreeqcRM公司 28篇文献引用(2009–2023) 软件作者： 大卫·帕克赫斯特 相关软件： PHREEQC；水文地球化学；MoMaS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
伊尔迪斯 26篇文献引用(2011–2023) 软件作者： – 相关软件： 伊德里斯；辅酶q；Agda… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
SYMMETRICA公司 26篇文献引用(1992–2017) 软件作者： Bayreuth大学Lehrstuhl Mathematik II的SYMMETRICA团队 相关软件： 枫树；许可证；利玛窦… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；群论与推广（20-XX）…
LARS公司 23篇文献引用(2016–2022) 软件作者： Beck，H.、Dao-Tran，M.、Eiter，T.、Fink，M。 相关软件： 克林戈；o临床；SPARQL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
达卡波 15篇文献引用(2009–2023) 软件作者： Blackburn，S.M.、Garner，R.、Hoffman，C.、Khan，A.M.、McKinley，K.S.、Bentzur，R.，Diwan，A.、Feinberg，D.、Frampton，D.、Guyer，S.Z.、Hirzel，M.、Hosking，A.、Jump，M.，Lee，H.、Moss，J.E.B.、Phansalkar，A.、Stefanovic，D.、VanDrunen，T.、von Dincklage，D.和Wiedermann，B 相关软件： 烟尘；方面J；SPECjvm2008… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
BCPL公司 22篇文献引用（1971年至2009年） 软件作者： 马丁·理查兹 相关软件： 减少；CAMAL公司；ALGOL 68… 主要字段： 微分几何（53-XX）；数值分析（65-XX）；计算机科学（68-XX）
灵活 22篇文献引用(1990–2009) 软件作者： 贾卡隆，A.，米什拉，P.，普拉萨德，S 相关软件： 皮克特；毫升；JoCaml… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
F类* 21篇文献引用(2011–2020) 软件作者： 微软研究院（INRIA）；尼基尔·斯瓦米；Chen，Juan；Fornet，塞德里克；支柱，Pierre-Yves；Bhargavan，Karthikeyan；杨吉恩 相关软件： 辅酶q；Nuprl；EasyCrypt… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
HUGIN公司 14篇文献引用（2002年至2018年） 软件作者： Hugin专家A/S 相关软件： 瑞金；R；学习… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
Jif公司 19份文件引用（2006年至2021年） 软件作者： A.C.Myers、L.Zheng、S.Zdancewic、S.Chong、N.Nystrom 相关软件： FlowFox；CoSMed；CAVA LTL模型检查器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ASE公司 3份文件引用(2019–2023) 软件作者： Hjorth Larsen，A。；Jörgen Mortensen，J。；Blomqvist，J。；卡斯泰利，I.E。；Christensen，R。；Dułak先生。；弗里斯·J。；格罗夫斯，M.N。；锤子，B。；哈格斯，C。；Hermes，E.D。；P.C.詹宁斯。；Bjerre Jensen，P。；科尔莫德，J。；基特钦，J.R。；Leonhard Kolsbjerg，E。；14库巴尔，J。；Kaasbjerg，K。；Lysgaard，S。；Bergmann Maronsson，J。；Maxson，T。；Olsen，T。；Pastewka，L。；Peterson，A。；罗斯加德，C。；希奥茨，J。；舒特，O。；奇怪，M。；蒂格森，K。；Vegge，T。；维勒姆森，L。；Walter，M。；曾，Z。；雅各布森，K.W 相关软件： 蟒蛇；脓毒原；数字标识… 主要字段： 概率论与随机过程（60-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
立方厘米（FD） 18篇文献引用(1998–2022) 软件作者： 范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；维杰·萨拉斯瓦特；伊夫·迪维尔 相关软件： CPLEX；彗星；Choco… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
cminor（小） 17篇文献引用(2007–2016) 软件作者： A.W.阿佩尔、S.布拉齐。 相关软件： 辅酶q；CompCert；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Dlib-ml公司 16篇文献引用(2014–2023) 软件作者： 戴维斯·金 相关软件： Scikit；蟒蛇；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
格雷特 7份文件引用(2008–2020) 软件作者： 阿林·康特雷尔；里卡多·“杰克”·卢切蒂 相关软件： R；高斯；状态… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
Madpack公司 19份文件引用(1988–2021) 软件作者： C.C.道格拉斯。 相关软件： PETSc；乌托邦；佩蒂加… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
德尔芬 17篇文献引用(2003–2020) 软件作者： Schürmann，C.、Fontana，R.、Liao，Y.、Poswolsky，A。 相关软件： Twelf；辅酶q；白鲸… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GIMP公司 13份文件引用(1999–2022) 软件作者： GIMP团队 相关软件： R；ImageMagick；Ghostscript… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；计算机科学（68-XX）…
SoDA公司 17篇文献引用(2004–2023) 软件作者： 约翰·钱伯斯。 相关软件： R；晶格；质量（R）… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
渐近线 13份文件引用(2007–2022) 软件作者： 安迪·哈默林德尔（Andy Hammerlindl）；约翰·鲍曼；汤姆·普林斯 相关软件： GiNaC；蟒蛇；MetaPost… 主要字段： 组合数学（05-XX）；复变量函数（30-XX）；几何（51-XX）…
第2组 17篇文献引用(2009–2022) 软件作者： C.烘焙；D.丰满 相关软件： AGG；GrGen公司；Fujaba… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
PETSc-FEM公司 16篇文献引用(2005–2018) 软件作者： 马里奥·阿尔贝托·斯托蒂（Mario Alberto Storti）、诺贝托·马塞洛·尼格罗（Norberto Marcelo Nigro）、罗德里戈·拉斐尔·帕斯（Rodrigo Rafael Paz）、利桑德罗·达尔辛（Lisandro Dalcin）、埃泽基尔·洛佩斯 相关软件： PETSc；FLUENT公司；Python… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
萨卡多 16篇文献引用(2008–2023) 软件作者： 埃里克·菲普斯（Eric Phipps）；罗杰·鲍洛夫斯基 相关软件： 特里利诺斯；ADOL-C；GitHub… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
voFoam公司 17篇文献引用(2014–2021) 软件作者： Tomislav Maric、Holger Marschall、Dieter Bothe 相关软件： VOF工具；格里斯；PROST… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）
libSBML（库SBML） 6篇文献引用(2009–2022) 软件作者： B.J.Bornstein、S.M.Keating、A.Jouraku、M.Hucka 相关软件： COPASI；SimpleSBML；Python… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
pyOpt选项 14篇文献引用(2012–2023) 软件作者： 鲁本·佩雷斯（Ruben E.Perez）。；彼得·詹森（Peter W.Jansen）。；Joaquim R.R.A.Martins。 相关软件： SNOPT；顶部.m；Python… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
戴纳 13份文件引用(2008–2022) 软件作者： 杰森·艾斯纳；埃里克·戈德鲁斯特（Eric Goldlust）；诺亚·A·史密斯；西北部菲拉多。 相关软件： ProbLog；棱镜；kProbLog… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
HOL布吉 14篇文献引用(2008–2019) 软件作者： Böhme，萨沙；Leino，K.Rustan M。；沃尔夫，伯克哈特 相关软件： Isabelle/HOL；Why3；布吉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
方面C++ 10篇文献引用（2003年至2012年） 软件作者： Olaf Spinczyk、Daniel Lohmann、Matthias Urban 相关软件： 方面J；功能C++；加齐… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
科根（Cogent） 在11份文件中引用(2005–2018) 软件作者： 拜伦·库克；Daniel Kroening；娜塔莎·莎莉吉娜 相关软件： 卫星抗体；简化；旋转… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
CompCertTSO公司 14篇文献引用(2013–2022) 软件作者： 什耶夫切克，雅罗斯拉夫；维克多·瓦菲亚迪斯；弗朗西斯科·扎帕·纳德利（Francesco Zappa Nardelli）；苏雷什·贾甘纳森；彼得·休厄尔 相关软件： 辅酶q；CompCert；皮尔斯纳… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
MD-吉普车 14篇文献引用(2010–2023) 软件作者： 安东尼奥·穆切里诺（Antonio Mucherino）；利贝蒂（Leo Liberti）；卡莱尔·拉沃尔 相关软件： LAPACK；双鱼；MDAnalysis… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；数值分析（65-XX）…
ObliVM公司 14篇文献引用(2017–2023) 软件作者： Liu，C.，Wang，X.，Nayak，K.，Huang，Y.，Shi，E。 相关软件： ABY；JustGarble公司；倾斜-C… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
PySB公司 12份文件引用(2014–2022) 软件作者： Lopez，C.F.、Muhlich，J.L.、Bachman，J.A.、Sorger，P.K。 相关软件： BioNetGen；斯莫尔丁；步骤… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
PySCIPOpt公司 14篇文献引用(2016–2023) 软件作者： 斯蒂芬·J·马赫、马提亚斯·米尔滕伯格、乔·佩德罗·佩德罗、丹尼尔·雷费尔特、罗伯特·施瓦兹、菲利佩·塞拉诺 相关软件： SCIP；古罗比；XPRESS… 主要字段： 总体主题；藏品（00-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
自动 13份文件引用(1990–2023) 软件作者： Champarnaud，J.M。；Hansel，G。 相关软件： 圣杯；AMoRE；AG… 主要字段： 一般代数系统（08-XX）；群论与推广（20-XX）；计算机科学（68-XX）
希尔伯特类库 10篇文献引用(1996–2022) 软件作者： Gockenbach，医学硕士。；西姆斯，W.W。 相关软件： LAPACK；L-BFGS；ADIFOR… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
versat公司 13份文件引用(2012–2022) 软件作者： Oe，Duckki；阿伦·斯塔姆（Aaron Stump）；科里·奥利弗；凯文·克兰西 相关软件： Isabelle/HOL；辅酶q；箔条… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ABS盖 在11份文件中引用(2020–2023) 软件作者： Petrónio C.L.Silva。；保罗·V·C·巴蒂斯塔。；赫尔德·S·利马。；阿尔维斯，马科斯A。；吉马朗斯，弗雷德里科·G。；罗德里戈·C·P·席尔瓦。 相关软件： 科瓦辛；贝叶斯DA；斯坦… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；统计学（62-XX）…
HACL公司* 12份文件引用(2018–2023) 软件作者： Jean Karim Zinzindohoué、Karthikeyan Bhargavan、Jonathan Protzenko、Benjamin Beurdouche 相关软件： Why3；GitHub；茉莉花… 主要字段： 数论（11-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）