数学软件 6559份文件中引用(1986–2024) 软件作者： 沃尔夫勒姆研究公司 相关软件： 枫树；Matlab；R、 … 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
科学Py 819份文件引用(2005–2024) 软件作者： Jones，E.、Oliphant，T.、Peterson，P.等人。 相关软件： 蟒蛇；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
稀疏矩阵 838份文件引用(1997–2024) 软件作者： 蒂莫西·戴维斯（Timothy A Davis）；胡一凡 相关软件： mctoolbox；LAPACK；Matlab… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
ANSYS有限元分析软件 750份文件中引用(1978–2024) 软件作者： John Swanson，Ansys公司。 相关软件： 阿巴夸斯；Matlab；FLUENT… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
COMSOL公司 689份文件引用(2000–2024) 软件作者： COMSOL公司。 相关软件： Matlab；阿巴夸斯；ANSYS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
开放式泡沫 666份文件引用(2007–2024) 软件作者： OpenCFD有限公司（ESI集团） 相关软件： FLUENT公司；github；Matlab… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
切布冯 522份文件引用(2004–2024) 软件作者： Chebfun团队；A Driscoll，N.Hale，L.N.Trefethen 相关软件： Matlab；DLMF；Chebfun2… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
XPPAUT公司 464份文件引用(1998–2023) 软件作者： Bard Ermentrout；穆罕默德·伊姆蒂亚兹（Mohammad Imtiaz）；罗伯·克莱利（Rob Clewley）；雅各布·诺瓦基 相关软件： 汽车；Matlab；MATCONT… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-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）…
艾根 245篇文献引用(2012–2024) 软件作者： 盖尔·根内鲍德·贝诺·雅各布 相关软件： github；R；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CHEMKIN公司 272份文件引用(1982–2024) 软件作者： 桑迪亚国家实验室；Coltrin，M.E.，Kee，R.J.，Rupley，F.M.，Meeks，E。 相关软件： 运输；投票；预混料… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；流体力学（76-XX）…
Harwell Boeing稀疏矩阵集合 214篇文献引用(1989–2023) 软件作者： 达夫，伊恩·S。；罗杰·格里姆斯（Roger G.Grimes）。；约翰·刘易斯（John G.Lewis）。 相关软件： 稀疏矩阵；环境影响评价；IRAM… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
无人值守地面 185篇文献引用(1994–2021) 软件作者： Bastian，P。；伯肯，K。；Johannsen，K。；朗·S。；纽伊，N。；伦茨·雷切尔，H。；维纳斯，C。 相关软件： DUNE；PETSc；PLTMG… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
系统标识工具箱 189份文件引用(1990–2023) 软件作者： Thomas B Schön；艾德里安·威尔斯（Adrian Wills）；Brett Ninness；伦纳特·荣格 相关软件： Matlab；船长；Wiener-Hammerstein基准… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
科学实验室 173篇文献引用(1999–2023) 软件作者： Scilab企业；里卡多·法布里 相关软件： Matlab；倍频程；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Matrix市场 175份文件中引用(1999–2024) 软件作者： Boisvert R.、Pozo R.、Remington K.、Barrett R.和Dongarra J 相关软件： 稀疏矩阵；Matlab；Harwell-Being稀疏矩阵集合… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
Globus工具包 61篇文献引用(2000–2022) 软件作者： 芝加哥大学；伊恩·福斯特（Ian Foster）。。。 相关软件： Condor-G；MPICH-G2；Nimrod/G… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
工程计算 138篇文献引用(1991–2022) 软件作者： 参数技术公司 相关软件： Mathematica；枫树；Matlab… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
OBJ3型 140篇文献引用(1989–2023) 软件作者： J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud；（比基尼） 相关软件： 莫德；咖啡馆；CASL… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
坎迪斯 129篇文献引用(2005–2024) 软件作者： 阿尔弗雷德·格雷，罗尔夫·苏兰克 相关软件： Mathematica；SciPy；Python… 主要字段： 偏微分方程（35-XX）；微分几何（53-XX）；整体分析，流形分析（58-XX）…
犰狳 84份文件引用(2003–2024) 软件作者： 康拉德·桑德森 相关软件： R；RcppArmadillo；Rcpp… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
皮奥莫 103篇文献引用(2012–2024) 软件作者： 威廉·哈特（William E.Hart）。；卡尔·莱尔德；Jean-Paul Watson；大卫·L·伍德拉夫。 相关软件： 古罗比；Ipopt；CPLEX… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
Mu分析与合成工具箱 109篇文献引用(1993–2021) 软件作者： 数学作品；加里·巴拉斯（Gary J.Balas）、约翰·多伊尔（John C.Doyle）、基斯·格洛弗（Keith Glover）、安迪·帕卡德（Andy Packard）、罗伊·史密斯（Roy Smith） 相关软件： 鲁棒控制工具箱；LMI工具箱；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；变形固体力学（74-XX）…
GPOPS公司 103篇文献引用(2010–2023) 软件作者： Rao AV、Benson DA、Huntington GT、Francolin C、Darby CL、Patterson MA 相关软件： Ipopt；Matlab；SNOPT… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学编程（90-XX）…
斯卡拉 88篇文献引用(2005–2023) 软件作者： Christos K.K.Loverdos。；阿波斯托洛斯·西罗普洛斯 相关软件： Coq；z3；轻量级Java… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
APBS公司 95篇文献引用(2001–2023) 软件作者： 内森·贝克；J.Andrew McCammon；迈克尔·霍尔斯特 相关软件： MIBPB；塔比卜；CHARMM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；光学、电磁理论（78-XX）…
格拉夫维兹 72份文件引用(2001–2023) 软件作者： 约翰·埃尔森；埃姆登·甘斯纳；Koutsofios，Lefteris；North，Stephen C。；戈登·伍德赫尔 相关软件： 动态记录仪；R；Python… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
萨帕 89份文件引用(1993–2023) 软件作者： 威廉·康斯坦丁；唐纳德·珀西瓦尔 相关软件： wmtsa；长备忘录；R、 … 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；数值分析（65-XX）…
mpmath（数学） 77份文件引用(2010–2024) 软件作者： 弗雷德里克·约翰逊 相关软件： SciPy；SageMath；SymPy… 主要字段： 数论（11-XX）；特殊功能（33-XX）；数值分析（65-XX）…
COCO公司 75篇文献引用(2012–2023) 软件作者： Harry Dankowicz；弗兰克·席尔德 相关软件： 汽车；MATCONT；AUTO-07P… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
Getfem公司++ 68篇文献引用(2004–2023) 软件作者： 伊夫·雷纳德（Yves Renard）、朱利安·波米耶（Julien Pommier） 相关软件： 交易.ii；Gmsh；PETSc… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
利亚帕克 72份文件引用（1998年至2024年） 软件作者： 蒂洛·彭兹尔 相关软件： Matlab；算法432；稀疏矩阵… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
SDPLIB公司 67篇文献引用(1999–2023) 软件作者： 布莱恩·博彻斯 相关软件： SDPT3；塞杜米；SDPA… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
杰森 47篇文献引用(1977–2023) 软件作者： 拉斐尔·博迪尼。；胡布纳，乔米·弗雷德；迈克尔·伍尔德里奇 相关软件： AgentSpeak；贾德克斯；2APL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
代码_主 59篇文献引用(1995–2024) 软件作者： 法国电力公司（EDF；法国电力） 相关软件： 阿巴夸斯；Gmsh；COMSOL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
TOUGH（艰难） 58篇文献引用(1997–2023) 软件作者： K.Pruess、C.Oldenburg、G.Moridis、Finsterle、S 相关软件： PFLOTRAN；杜穆克斯；iTOUGH2… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
贞洁 引用于57份文件(2009–2024) 软件作者： 米格尔·O·伯纳乌。；拉斐尔·博尔达斯；帕希马纳坦，普拉斯；乔·皮特·弗朗西斯；乔纳森·库珀（Jonathan Cooper）；阿兰·加里；David J.Gavaghan。；布兰卡·罗德里格斯；南部，詹姆斯·A。；乔纳森·怀特利（Jonathan P.Whiteley）。 相关软件： CellML；PhysiCell；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
GiD公司 58篇文献引用(2000–2022) 软件作者： R Ribó，MA de Riera Pasenau，E Escolano；CIMNE公司 相关软件： 彗星；Matlab；VTK… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
Protege公司 28篇文献引用(1997–2022) 软件作者： 斯坦福大学；J.H.Gennari、M.A.Musen、R.W.Fergerson等人。 相关软件： 颗粒；赛车手；耶拿… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
SDP包 50篇文献引用(1998–2015) 软件作者： Nayakakuppam M V、Overton M L、Schemta S。 相关软件： SDPT3；塞杜米；CSDP… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
印章 39篇文献引用(1998–2023) 软件作者： 科普曼，S.J。；哈维，A.C。；Doornik，J.A。；谢泼德，A。 相关软件： SsfPack；公牛；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
dcc公司 46篇文献引用(2012–2023) 软件作者： 乌韦·诺曼 相关软件： ADOL-C；锥体；旋转… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
METSlib公司 41篇文献引用(2011–2023) 软件作者： 鲍尔 相关软件： VRP；禁忌搜索；irace… 主要字段： 历史与传记（01-XX）；数值分析（65-XX）；计算机科学（68-XX）…
序曲 39篇文献引用(2000–2022) 软件作者： L.Brown、William D.Henshaw、Daniel J.Quinlan。 相关软件： PETSc；CMPGRD；帕拉梅什… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
汤普 39篇文献引用（1994年至2024年） 软件作者： 卡夫，D。 相关软件： NLopt；DFVLR-SQP；R、 … 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
斐济 30篇文献引用(2016–2023) 软件作者： Schindelin，J.等人 相关软件： 图像J；蟒蛇；U-Net… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；计算机科学（68-XX）…
ITSM2000标准 36篇文献引用(2016–2023) 软件作者： 彼得·布罗克韦尔（Peter J.Brockwell）。；理查德·戴维斯（Richard A.Davis）。 相关软件： 其mr；astsa；tscount… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
DDDAS系统 30篇文献引用(2008–2023) 软件作者： 弗雷德里克·达瑞玛 相关软件： EnKF；亚当；Exshall… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Blitz++库 32篇文献引用(2000–2021) 软件作者： 托德·维尔德胡岑 相关软件： 闪电战++；促进；布拉斯… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
牡蛎 34份文件引用(1989–2021) 软件作者： 霍恩，克里斯蒂安；斯梅尔，艾伦 相关软件： 蛤；Nuprl；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
K螺母 35篇文献引用(2007–2023) 软件作者： 罗伯特·萨莱 相关软件： DDE-BIFTOOL；PDDE-CONT；MATCONT… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
BEASY公司 34份文件引用(1982–2019) 软件作者： 丹森，D.J。；加利福尼亚州布雷比亚。 相关软件： NASGRO；Netgen；ABAQUS… 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；数值分析（65-XX）…
希特科夫斯基 引用于33份文件(1993–2022) 软件作者： 克劳斯·希特科夫斯基 相关软件： Matlab；MINLPLib；NL2SOL… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学编程（90-XX）…
h浮土 32篇文献引用(2001–2023) 软件作者： 约格·阿恩特 相关软件： FXT；组织环境信息系统；SageMath… 主要字段： 组合数学（05-XX）；数论（11-XX）；特殊功能（33-XX）…
SMT互联网 29篇文献引用(2015–2023) 软件作者： Jochen Hoenicke、Jürgen Christ、Alexander Nutz 相关软件： z3；数学SAT5；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
彪马 31份文件引用(2003–2020) 软件作者： 弗劳恩霍夫SCAI；马克·亚历山大·施韦策（Marc Alexander Schweitzer）、阿尔伯特·齐根哈格尔（Albert Ziegenhagel） 相关软件： XFEM；mctoolbox；Matlab… 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；数值分析（65-XX）…
SaTS扫描 24篇文献引用(2001–2022) 软件作者： 库尔多夫·M·。 相关软件： R；监控；GitHub… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
比加莱 29篇文献引用(2000–2018) 软件作者： H.de Fraysseix；P.Ossona de Mendez先生 相关软件： TSPLIB；LEDA；OGDF… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
奎索 24篇文献引用(2011–2023) 软件作者： 埃内斯托·普鲁登西奥（Ernesto Prudencio）；卡尔·W·舒尔茨 相关软件： 达科塔；libMesh；交易.ii… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
犀牛 26篇文献引用(2004–2023) 软件作者： Robert McNeel&Associates公司 相关软件： ISOGAT；蚱蜢；LS-DYNA… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
玛雅维 22篇文献引用(2003–2022) 软件作者： Prabhu Ramachandran梵语 相关软件： 玛亚维；Matplotlib；Python… 主要字段： 动力系统与遍历理论（37-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
伙计 26篇文献引用(1999–2023) 软件作者： 乔恩·林德·尼尔森 相关软件： CUDD；西尔文；PolyBoRi… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
德洛雷斯 21篇文献引用(2000–2022) 软件作者： 迈克尔·马赫；特里斯坦·米勒 相关软件： DR-Prolog；法律规则ML；swrl… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
开放地理系统 23篇文献引用(2012–2024) 软件作者： O.科尔迪茨 相关软件： DuMuX；PFLOTRAN；PHREEQC… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
PLT兑换 25篇文献引用(2009–2022) 软件作者： 费莱森，马提亚斯；布鲁斯·芬德勒；马修·弗拉特 相关软件： Coq；K校准仪；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
图尔巴尔2 27篇文献引用(2007–2023) 软件作者： 托马斯·希克斯；西蒙·德·吉夫里（Simon de Givry）；大卫·阿洛奇 相关软件： mplp2；数字插孔；MaxHS… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
BoTorch公司 23篇文献引用(2021–2024) 软件作者： 马克西米利安·巴兰达（Maximilian Balandat）、布莱恩·卡勒（Brian Karrer）、丹尼尔·江泽民（Daniel R.Jiang）、塞缪尔·道尔顿（Samuel Daulton）、本杰明·莱瑟姆（Benjamin Letham）、安德鲁·戈登·威尔 相关软件： PyTorch；青蒿；GitHub… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DELSOL公司 26篇文献引用(1992–2022) 软件作者： 大卫·R·威尔。；Christopher T.H.贝克。 相关软件： dde23；Matlab；DKLAG6… 主要字段： 常微分方程（34-XX）；积分方程（45-XX）；算子理论（47-XX）…
SHTns公司 25篇文献引用(2008–2023) 软件作者： 纳塔内尔·谢弗 相关软件： DLMF；切布冯；GitHub… 主要字段： 偏微分方程（35-XX）；欧氏空间（42-XX）的调和分析；数值分析（65-XX）…
ATL公司 12份文件引用(2008–2021) 软件作者： 弗莱德里克·尤厄（Frédéric Jouault）；弗雷迪·阿利莱尔；让·贝齐文；伊万·库特夫 相关软件： HOL-OCL；UML2合金；AGG… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
CHUFFED公司 24篇文献引用(2016–2024) 软件作者： Chu，G.、Stuckey，P.J.、Schutt，A.、Ehlers，T.、Gange，G.和Francis，K。 相关软件： 微量锌；CPLEX；Gecode… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
富贾巴语 15篇文献引用(2001–2022) 软件作者： Nickel，U.、Niere，J.、Zündorf，A。 相关软件： 进度；GrGen；AGG… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
MatContM公司 25篇文献引用(2018–2023) 软件作者： 尤里·库兹涅佐夫（Yuri A.Kuznetsov）。；Hil G.E.Meijer。 相关软件： MatcotM；Matlab；MATCONT公司 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；差分和函数方程（39-XX）…
Specware（特殊软件） 25篇文献引用(1998–2019) 软件作者： Srinivas，Y.，Jullig，R。；Waldiger，R。 相关软件： PVS；Nuprl；CASL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
TNT公司 22篇文献引用(1998–2019) 软件作者： 罗尔丹·波佐 相关软件： LAPACK；JAMA；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
电子电话 18篇文献引用(2003–2019) 软件作者： M Tomita、K Hashimoto、K Takahashi、T S Shimizu、Y Matsuzaki、F Miyoshi、K Saito S Tanida、K Yugi、J C Venter；C A和记黄埔 相关软件： GEPASI；KEGG；虚拟单元格… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
Epigram公司 23篇文献引用(2005–2023) 软件作者： 康纳·麦克布莱德 相关软件： Coq；阿格达；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
JCell公司 14篇文献引用(2008–2021) 软件作者： 伯纳贝多罗索罗 相关软件： jMetal公司；SPEA2；MOEA/D… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）；运筹学，数学编程（90-XX）…
全球运输系统 20篇文献引用(2000–2019) 软件作者： 波皮内特；T.琼斯 相关软件： CGAL；道芬；FEniCS… 主要字段： 代数拓扑（55-XX）；数值分析（65-XX）；计算机科学（68-XX）…
IPSEN公司 20篇文献引用(1991–2010) 软件作者： 安迪·舒尔 相关软件： mctoolbox；LAPACK；PostgreSQL… 主要字段： 历史与传记（01-XX）；线性代数和多线性代数；矩阵理论（15-XX）；算子理论（47-XX）…
MUSCOD-II公司 引用于19份文件(1998–2021) 软件作者： 海德堡大学；M.Diehl、D.B.Leineweber、A.A.S.Schäfer 相关软件： Ipopt；ADIFR；SOCS… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学编程（90-XX）…
萨利纳斯 18篇文献引用(2003–2018) 软件作者： Bhardwaj，M.、Pierson，K.、Reese，G.、Walsh，T.、Day，D.、Alvin，K.和Peery，J。 相关软件： PETSc；ARPACK；CUDA… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
托斯卡纳J 17篇文献引用(2004–2011) 软件作者： 彼得·贝克尔（Peter Becker）；科雷亚，约阿希姆·赫雷斯 相关软件： 加利西亚；ConImp；JGraph… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
VIFF公司 17篇文献引用(2009–2023) 软件作者： 伊凡·达姆加德；马丁·盖斯勒（Martin Geisler）；米克尔·克里加德；杰斯珀·布乌斯·尼尔森 相关软件： 分享者；FairplayMP；美味… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；信息与通信理论，电路（94-XX）
地理证明 17篇文献引用(2007–2020) 软件作者： 朱利安·纳布克斯；尼古拉·弗朗索瓦 相关软件： GEX；地质学；Coq… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）…
OpenSees（打开查看） 在13份文件中引用(2009–2023) 软件作者： 马佐尼，S。；Mckenna，F。；围栏，G。 相关软件： Matlab；蟒蛇；LS-DYNA… 主要字段： 总体主题；藏品（00-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
AMLET公司 在16份文件中引用(2006–2020) 软件作者： 费比安·巴斯廷 相关软件： 苏铁；艾尔默；sn… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
DAGH公司 在13份文件中引用(1998–2011) 软件作者： 帕拉沙尔，马尼什；詹姆斯·布朗（James C.Browne）。 相关软件： 帕拉梅什；AMROC；SAMRAI… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
霍姆4PS-3 在16份文件中引用(2014–2024) 软件作者： 陈天然；Lee，Tsung-Lin；李天恩 相关软件： PHCpack；贝尔蒂尼；数字代数几何… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
JAS公司 15篇文献引用(2008–2023) 软件作者： 海因茨·克雷德尔 相关软件： 单一；AXIOM；复数… 主要字段： 数论（11-XX）；交换代数（13-XX）；结合环与代数（16-XX）…
QROOT公司 17篇文献引用(1993–2022) 软件作者： M.L.乔杜里 相关软件： MCQueue；QPACK；枫树 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
FXT公司 在16份文件中引用(2011–2023) 软件作者： 约格·阿恩特 相关软件： hfloat；组织环境信息系统；PARI/GP… 主要字段： 组合数学（05-XX）；数论（11-XX）；特殊功能（33-XX）…
GiNaC循环 15篇文献引用(2004–2022) 软件作者： 弗拉基米尔·基西尔 相关软件： GiNaC；MetaPost；渐近线… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；复变量函数（30-XX）；几何（51-XX）…
轨道库 在16份文件中引用(2008–2021) 软件作者： 安德烈·普拉泽 相关软件： z3；凯伊迈拉；QEPCAD… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；代数几何（14-XX）…
TeXmacs公司 15篇文献引用(2004–2021) 软件作者： Van Der Hoeven，J。 相关软件： Coq；伊莎贝尔；Isabelle/HOL… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；特殊功能（33-XX）…
HTK公司 8份文件引用(1997–2007) 软件作者： 杨，S.J；剑桥大学工程系（CUED） 相关软件： 普拉特；拉斯塔马特；狮身人面像II… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
MAiNGO组织 15篇文献引用(2019–2023) 软件作者： Bongartz，D.，Najman，J.，Sass，S.，Mitsos，A。 相关软件： libMC；安提戈内；NLopt… 主要字段： 变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
MLPACK公司 9份文件引用(2013–2020) 软件作者： Ryan R.科廷。；詹姆斯·克莱恩（James R.Cline）。；矿渣，N.P。；3月，威廉·B。；Ram，Parikshit；Nishant A.梅塔。；亚历山大·格雷。 相关软件： UCI-ml；SciPy；Scikit… 主要字段： 测量和集成（28-XX）；统计学（62-XX）；数值分析（65-XX）…
布莱克 14篇文献引用(2010–2023) 软件作者： Aumasson，Jean-Philippe；威利·迈尔；拉斐尔·法恩（Raphael C.-W.Phan）。；卢卡·亨岑 相关软件： 查查；Salsa20；Skein散列… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…