LAPACK公司 1759年文献引用(1988–2024) 软件作者： LAPACK团队：lapack@cs.utk.edu 相关软件： BLAS；ScaLAPACK；mctoolbox… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
禁忌搜索 1027份文件引用(1991–2022) 软件作者： 弗雷德·格洛弗（Fred Glover）；埃里克·泰勒；多米尼克·德韦拉 相关软件： 分散搜索；CPLEX；VRP… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
CVX公司 引用于999份文件(2006–2024) 软件作者： 迈克尔·格兰特；斯蒂芬·博伊德 相关软件： SDPT3；塞杜米；YALMIP… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TSPLIB公司 732文件引用(1991–2024) 软件作者： 格哈德·雷内特 相关软件： 协和式飞机；LKH；VRP… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
COMSOL公司 689份文件引用(2000–2024) 软件作者： COMSOL公司。 相关软件： Matlab；阿巴夸斯；ANSYS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
毫升 516份文件引用(1978–2024) 软件作者： 罗伯特·哈珀；罗宾·米尔纳（Robin Milner）；托夫特、麦兹；爱丁堡大学 相关软件： HOL；Coq；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
XPath（XPath） 205篇文献引用(2002–2023) 软件作者： w3.org网站 相关软件： XQuery；X标记；Oracle… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
Mplus公司 197篇文献引用(1998–2023) 软件作者： Mplus开发团队 相关软件： R；利赛尔；EQS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
卢比 173篇文献引用(2013–2024) 软件作者： 德克·埃德布特尔；罗曼·弗朗索瓦；JJ Allaire；约翰·钱伯斯；道格拉斯·贝茨；凯文·乌西 相关软件： R；RcppArmadillo；ggplot2… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
菜单-OKF 282份文件引用(1995–2024) 软件作者： 马克·S·达斯金。 相关软件： MOD-DIST（调制数据）；位置；OR-库… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
MOD-DIST（模块-数据） 282份文件引用(1995–2024) 软件作者： 马克·S·达斯金。 相关软件： 菜单-OKF；位置；OR-库… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
拔管器 258篇文献引用(2005–2024) 软件作者： 阿德里安·巴德利（Adrian Baddeley）、罗尔夫·特纳（Rolf Turner）、埃格·鲁巴克（Ege Rubak）；等 相关软件： R；pyuvdata；空间… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
位置 272份文件引用(1995–2024) 软件作者： 马克·S·达斯金。 相关软件： 菜单-OKF；MOD-DIST（调制数据）；OR-库… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
代码表 263篇文献引用(1998–2022) 软件作者： 马库斯·格拉斯；A.E.Brouwer。 相关软件： 岩浆；间隙；薄荷… 主要字段： 组合数学（05-XX）；数论（11-XX）；几何（51-XX）…
快速表达式 243篇文献引用(1989–2023) 软件作者： FICO公司 相关软件： CPLEX；SCIP；MIPLIB… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
高斯人 222篇文献引用(1983–2024) 软件作者： 高斯公司。；http://gaussian.com/people网站/ 相关软件： 西北化工；游戏；MOLPRO… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；量子理论（81-XX）…
阿格达 233份文件引用(1999–2024) 软件作者： 乌尔夫·诺雷尔 相关软件： Coq；哈斯克尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
涂鸦 引用于227份文件(1986–2024) 软件作者： 西米恩·法杰特洛维奇 相关软件： AutoGraphiX；图形；人力资源… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）…
张量工具箱 220篇文献引用（2007年至2024年） 软件作者： 布雷特·巴德。；塔马拉·科尔达。 相关软件： 算法862；Matlab；Tensorlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
DeepONet（深度网络） 214篇文献引用(2020–2024) 软件作者： 陆璐、金鹏展、乔治·埃姆·卡尼亚达克斯 相关软件： 亚当；DGM；DeepXDE… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
深XDE 206篇文献引用（2019年至2024年） 软件作者： 陆璐、孟旭辉、毛志平、乔治·卡尼亚达基斯 相关软件： 亚当；DGM；FPINN… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
NGSolve公司 190份文件引用(2006–2024) 软件作者： J.Schöberl先生 相关软件： Netgen；FEniCS；CutFEM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
全球野生动物组织 186篇文献引用(2014–2024) 软件作者： 米尔贾利利，S。；米尔贾利利，S.M。；A.刘易斯。 相关软件： WOA；GSA；SSA… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
科学实验室 173篇文献引用(1999–2023) 软件作者： Scilab企业；里卡多·法布里 相关软件： Matlab；倍频程；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Yices公司 168篇文献引用(1992–2023) 软件作者： B.杜特雷；L.de Moura村 相关软件： z3；SMT-LIB；CVC4… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
NLopt（NLopt） 151篇文献引用(2012–2024) 软件作者： S.G.约翰逊。 相关软件： github；R；BOBYQA… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
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）…
PASCAL挥发性有机化合物 99篇文献引用（2010年-2023年） 软件作者： Everingham，M.、Eslami，S.M.A.、Van Gool，L.、Williams，C.K.I.、Winn，J.、Zisserman，A 相关软件： SIFT；ImageNet；MS-COCO… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
米兰达 155篇文献中引用(1985–2023) 软件作者： D.A.特纳。 相关软件： 哈斯克尔；毫升；清洁… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；范畴理论；同调代数（18-XX）…
测试U01 127篇文献引用(2005–2024) 软件作者： P.L'Ecuyer；R.西蒙德 相关软件： MersenneTwister；迪哈德；NIST统计测试套件… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；数值分析（65-XX）…
个人资料/偏差 132份文件引用(1979–2021) 软件作者： O.Knüppel。 相关软件： 进入PT_90；C-XSC；INTLAB… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
SuLQ公司 128篇文献引用(2006–2023) 软件作者： Blum，A.，Dwork，C.，McSherry，F.，Nissim，K。 相关软件： 私人LR；UCI-ml；最优流量… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
抓斗切割 70篇文献引用(2007–2023) 软件作者： Rother C、Kolmogorov V、Blake A。 相关软件： 最大流量；BSDS；PASCAL VOC… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
函数 69篇文献引用(2002–2023) 软件作者： w3.org网站 相关软件： XPath；X标记；Oracle… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；概率论与随机过程（60-XX）…
乐高 116篇文献引用(1991–2023) 软件作者： 罗，Z.，波拉克，R。 相关软件： Coq；Nuprl；自动… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
C-XSC（C-XSC） 111篇文献引用(1992–2023) 软件作者： 克里斯蒂安·劳奥 相关软件： C-XSC 2.0；国际实验室；进入PT_90… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
泰勒 114篇文献引用(2003–2024) 软件作者： 天使乔尔巴；邹茂荣 相关软件： ATOMFT；潮汐；杆… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
达夫尼 105份文献中引用(2010–2024) 软件作者： 鲁斯坦·莱诺 相关软件： z3；Why3；布吉… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
MSLiP公司 111篇文献引用(1990–2022) 软件作者： 霍兰德·加斯曼。 相关软件： GAMS；CPLEX；SLP-IOR… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
萨特齐拉 95篇文献引用(2008–2023) 软件作者： 徐，L。；Hutter，F。；胡斯，H.H。；莱顿·布朗，K。 相关软件： 帕拉米尔斯；MiniSat；SMAC… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
SHOGUN公司 89份文件引用(2005–2023) 软件作者： Sonnenburg，Sören；冈纳州Rätsch；Christin Schäfer；Schölkopf，伯恩哈德；塞巴斯蒂安·亨舍尔；克里斯蒂安·维德默（Christian Widmer）；乔纳斯·贝尔（Jonas Behr）；亚历山大·齐恩（Alexander Zien）；法比奥·德博纳；亚历山大·宾德（Alexander Binder）；基督教徒盖尔；法郎，沃伊特 相关软件： SimpleMKL；LIBSVM；UCI-ml… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ELAN公司 106篇文献引用(1996–2020) 软件作者： 彼得·博罗万斯基（Peter Borovansky）、埃里克·德普拉涅（Eric Deplagne）、克劳德·基什内尔（Claude Kirchner）、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳（Pierre-Etienne Moreau）、克里斯托夫·林盖森（Christophe 相关软件： 莫德；OBJ咖啡馆；OBJ3… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
菲利普 90篇文献引用(1996–2023) 软件作者： Felsenstein，J。 相关软件： ClustalW；PAUP*；贝叶斯先生… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
TOMLAB公司 102份文件引用(1999–2024) 软件作者： 霍姆斯特罗姆，K.，戈兰，A.O.，埃德瓦尔，M.M。 相关软件： OPERA；NLPLIB；Matlab… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
货币基金组织 90篇文献引用(2012–2024) 软件作者： 罗伯特·安德森（Robert Anderson）、朱利安·安德烈（Julian Andrej）、安德鲁·巴克（Andrew Barker）、杰米·布兰威尔（Jamie Bramwell）、珍妮·西尔万·卡米尔（Jean-Sylvane Camier）、雅库布·塞维尼（Jakub Cerveny）、韦塞林·多布雷夫（Veselin Dobrev）、约汉·杜杜杜杜维特（Yohann Dudouit）、亚伦·费舍尔（Aar 相关软件： 炒作；交易.ii；PETSc… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
打开BUGS 80篇文献引用（2007年至2024年） 软件作者： 安德鲁·托马斯 相关软件： R；WinBUGS；卡爪… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
定量生产线 91份文件引用(2004–2023) 软件作者： 彼得·塞林格 相关软件： 质量管理清单；qGCL；Quipper… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；功能分析（46-XX）…
Dynare公司 89份文件引用(1997–2023) 软件作者： 塞普雷玛；米歇尔·朱亚拉德 相关软件： Gensys公司；Uhlig工具包；OccBin… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；数值分析（65-XX）…
PyFR公司 83篇文献引用(2014–2024) 软件作者： 迈克尔·克莱姆、弗雷迪·威瑟登、彼得·文森特 相关软件： Gmsh；HE-E1GODF；奈克塔++… 主要字段： 偏微分方程（35-XX）；功能分析（46-XX）；数值分析（65-XX）…
德尔福 52篇文献引用(1995–2015) 软件作者： Embarcadero技术公司；博兰德 相关软件： Visual Basic；擅长；SPSS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MS-COCO公司 63份文件引用(2018–2024) 软件作者： 林宗毅、迈克尔·梅尔、谢尔盖·贝隆吉、卢博米尔·波德夫、罗斯·吉希克、詹姆斯·海斯、彼得罗·佩罗纳、德瓦·拉马南、C.劳伦斯·齐特尼克、彼得罗尔·多拉 相关软件： ImageNet；PASCAL挥发性有机化合物；更快的R-CNN… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PostgreSQL（PostgreSQL） 55份文件引用(2000–2023) 软件作者： —— 相关软件： 神谕；MySQL；MS SQL Server… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
阿兹特克 84份文件引用(1997–2022) 软件作者： R.S.Tuminaro、M.Herous、S.A.Hutchinson、J.N.Shadid 相关软件： 阿兹特克OO；PETSc；特里利诺斯… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
坎特拉 70篇文献引用(2009–2024) 软件作者： D.Goodwin、N.Malaya、H.Moffat、R.Speth 相关软件： CHEMKIN公司；GRI-科技3.0；OpenFOAM… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
混合的 76篇文献引用(1993–2024) 软件作者： SAS研究所 相关软件： SAS；R；SAS/STAT… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
线路 79份文件引用(2017–2024) 软件作者： J.Tang、M.Qu、M.Wang、M.Zhang、J.Yan、Q.Mei 相关软件： DeepWalk；node2vec；单词2vec… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
STL公司 72份文件引用(1997–2021) 软件作者： 大卫·穆瑟（David R.Musser）、亚历山大·斯捷潘诺夫（Alexander Stepanov） 相关软件： 促进；增强C++库；CGAL… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
吉咪 69篇文献引用(2011–2024) 软件作者： 里佐普洛斯（D.Rizopoulos）。 相关软件： R；JMbayes；joineR；…（J）… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
MPDATA公司 79份文件引用(1998–2023) 软件作者： Smolarkiewicz，Piotr K。；Len G.马戈林。 相关软件： EULAG；NICAM；libmpdata++… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
Nitpick公司 79份文件引用(1999–2023) 软件作者： 布兰切特，贾斯敏·克里斯蒂安；托比亚斯·尼普科 相关软件： Isabelle/HOL；大锤；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）…
科莱姆 65篇文献引用(2000–2023) 软件作者： 德尼古拉，R。；法拉利，G.L。；普格利泽，R。 相关软件： 琳达；克拉瓦；SCEL… 主要字段： 数理逻辑与基础（03-XX）；一般拓扑（54-XX）；计算机科学（68-XX）…
自动分类 40篇文献引用(1992–2021) 软件作者： 约翰·斯图兹；彼得·齐斯曼 相关软件： UCI-ml；C4.5；clusfind… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TRANSFAC公司 34份文件引用(2001–2020) 软件作者： E.Wingender、X.Chen、R.Hehl、H.Karas、I.Liebich、V.Matys、T.Meinhardt、M.Prüß、I.Reuter、F.Schacherer 相关软件： JASPAR；KEGG；BioProspector… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
谐波和 72份文件引用(2009–2024) 软件作者： 雅各布·阿林格；约翰内斯·布吕姆林（Johannes Blümlein）；卡斯滕·施耐德 相关软件： 表格；EvaluateMultiSums；Axodraw… 主要字段： 数论（11-XX）；特殊功能（33-XX）；计算机科学（68-XX）…
利亚帕克 72份文件引用(1998–2024) 软件作者： 蒂洛·彭兹尔 相关软件： Matlab；算法432；稀疏矩阵… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
BGL公司 59篇文献引用(2007–2023) 软件作者： JG Siek、LQ Lee、A Lumsdaine 相关软件： 促进；增强C++库；CGAL… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MeatExe公司 69篇文献引用(1994–2023) 软件作者： 迈克尔·林奇 相关软件： 间隙；岩浆；ATLAS集团代表… 主要字段： 组合数学（05-XX）；结合环与代数（16-XX）；群论与推广（20-XX）…
LFW公司 47篇文献引用(2011–2023) 软件作者： Gary B.Huang、Manu Ramesh、Tamara Berg、Erik Learnd-Miller 相关软件： FaceNet；SIFT；公共图形… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
利比奥普 68篇文献引用（2019年-2023年） 软件作者： Nicholas P.沃德。 相关软件： 利格罗；斯巴达人；马林… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
乌兹拉布 59篇文献引用(2016–2024) 软件作者： Lataniotis C、Marelli S、Sudret B 相关软件： AK-MCS；蟒蛇；达科塔… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
ADBASE公司 64篇文献引用(1983–2019) 软件作者： 斯图尔R.E。 相关软件： EFFACET公司；TRIMAP；BENSOLVE… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
AS 307标准 62篇文献引用(1996–2022) 软件作者： 彼得·卢梭（Peter J.Rousseeuw）。；艾达·鲁茨 相关软件： R；深度；robustbase… 主要字段： 凸和离散几何（52-XX）；统计学（62-XX）；数值分析（65-XX）…
科恩-卡纳德 40篇文献引用(2001–2022) 软件作者： 卡纳德、科恩、田 相关软件： JAFFE公司；LIBSVM；筛选… 主要字段： 微分几何（53-XX）；统计学（62-XX）；数值分析（65-XX）…
卡帕拉布 60篇文献引用（2007年至2024年） 软件作者： 米歇尔·格拉比什（Michel Grabisch）；科贾迪诺维奇（Ivan Kojadinovic）；帕特里克·梅耶 相关软件： R；M-MACBETH；视觉UTA… 主要字段： 测量和集成（28-XX）；统计学（62-XX）；计算机科学（68-XX）…
FADBAD公司++ 59篇文献引用(2000–2023) 软件作者： Ole Stauring；克劳斯·本特森 相关软件： ADOL-C；舒适的；ValEncIA-IVP… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GiD公司 58篇文献引用(2000–2022) 软件作者： R Ribó，MA de Riera Pasenau，E Escolano；CIMNE公司 相关软件： 彗星；Matlab；VTK… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
玩具 56篇文献引用(2001–2022) 软件作者： F.J.López Fraguas，J.Sánchez Hernández 相关软件： 巴贝尔；哈斯克尔；PAKCS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
信号 51份文件中引用(1987–2020) 软件作者： 诺瓦克，大卫；Jean-Pierre Talpin；蒂埃里·戈蒂埃；保罗·勒格尔尼克 相关软件： 卢斯特；酯类；托勒密… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
X减少 53篇文献引用（2003年至2020年） 软件作者： Haruo Hosoya，Benjamin C.Pierce（本杰明·皮尔斯） 相关软件： CDuce；XPath；PiDuce… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
RegulonDB公司 30篇文献引用(2002–2020) 软件作者： 加玛·卡斯特罗，S。；Jimenez-Jacinto，V。；佩拉塔·吉尔，M。；Santos-Zavaleta，A。；佩尼亚洛扎·斯皮诺拉，M.I。；孔特雷拉斯·莫雷拉，B。；Segura-Salazar，J。；Muñiz-Rascado，L。；马丁内斯·弗洛雷斯，I。；萨尔加多，H。；Bonavides-Martinez，C。；Abreu-Goodger，C。；罗德里格斯-佩纳戈斯，C。；Miranda-Ríos，J。；莫雷特，E。；梅里诺，E。；韦尔塔，A.M。；Treviño-Quintanilla，L。；科拉多·维德斯，J。 相关软件： KEGG；阿拉伯国家石油公司；GeneNetWeaver… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
BNDSCO公司 51份文件中引用(1991–2021) 软件作者： H.Oberle；W.格林 相关软件： SOCS；Matlab；GPOPS… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
CiaoPP公司 51份文件中引用(1999–2022) 软件作者： Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。 相关软件： Ciao；SICStus公司；汞… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CADNA 49篇文献引用(1993–2023) 软件作者： Fabienne Jézéquel，Jean-Marie Chesneaux 相关软件： mctoolbox；国际实验室；MPFR… 主要字段： 常微分方程（34-XX）；近似和展开（41-XX）；积分方程（45-XX）…
Freshml公司 在48份文件中引用(2003–2021) 软件作者： M.R.Shinwell、A.M.Pitts、M.Gabbay。 相关软件： Coq；名义上的伊莎贝尔；Twelf… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
PETSc/TS公司 49篇文献引用(2018–2024) 软件作者： Shrirang Abhyankar、Jed Brown、Emil M.Constantinescu、Debojyoti Ghosh、Barry F.Smith、Hong Zhang 相关软件： PETSc；FEniCS；日晷… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
CDuce公司 在48份文件中引用（2003年至2020年） 软件作者： 本扎肯，维罗尼克；朱塞佩·卡斯塔尼亚；阿兰·弗里希 相关软件： XDouce；XQuery；XPath… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
菲迪斯特普卢斯 36篇文献引用(2014–2023) 软件作者： 玛丽·劳雷·德利格纳特·穆勒（Marie Laure Delignete-Muller）、克里斯托夫·杜唐（Christophe Dutang）、里吉斯·波伊略（Regis Pouillot）、珍妮·巴普蒂斯特·丹尼斯（Jean-Baptiste Denis） 相关软件： R；精算师；distrMod… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
VOF工具 49篇文献引用(2008–2023) 软件作者： J.López、J.Hernández 相关软件： PROST；voFoam；SLIC… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
ROMS（只读存储器） 在48份文件中引用(2008–2024) 软件作者： 海德沃格尔，D.B。；阿兰戈，H。；Budgell，W.P。；科努埃尔，B.D。；Curchitser，E。；迪·洛伦佐（Di Lorenzo），E。；茴香，K。；Geyer，W.R。；赫尔曼·A·J。；Lanerolle，L。；莱文，J。；McWilliams，J.C。；Miller，A.J。；摩尔，A.M。；鲍威尔，T.M。；Shchepetkin，A.F。；舍伍德，C.R。；Signell，R.P。；华纳，J.C。；J.威尔金。 相关软件： MPAS海洋；L-BFGS；GitHub… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
加密MiniSat 44篇文献引用(2011–2023) 软件作者： Soos，M。 相关软件： MiniSat；弯曲；玲玲… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；计算机科学（68-XX）…
高密度纤维 42篇文献引用(2002–2024) 软件作者： 匹兹堡超级计算中心 相关软件： PETSc；特里利诺斯；交易.ii… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
nuXmv（数字） 45篇文献引用(2015–2023) 软件作者： 罗伯特·卡瓦达、亚历山德罗·西马蒂、米歇尔·多里加蒂、阿尔贝托·格里乔、亚历桑德罗·马里奥蒂、安德烈亚·米凯利、塞尔吉奥·莫弗、马可·罗维里、斯特凡诺·托内塔 相关软件： z3；NuSMV；旋转… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
Optim公司 31份文件引用（2019年-2023年） 软件作者： P.K.Mogensen；A.N.瑞斯 相关软件： 朱莉娅；CG_DESCENT；GitHub… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
低等级模型 45篇文献引用(2016–2023) 软件作者： 马德琳·乌德尔；科琳·霍恩（Corinne Horn）；扎德、雷扎；斯蒂芬·博伊德 相关软件： Pyglrm；softImpute；手套… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
metafor公司 26篇文献引用(2012–2023) 软件作者： 沃尔夫冈·维希特鲍尔 相关软件： R；元；状态… 主要字段： 统计学（62-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
棱镜 44篇文献引用(2006–2022) 软件作者： 佐藤，T.，卡梅亚，Y。 相关软件： ProbLog；CP逻辑；PITA… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
分享 38篇文献引用(1992–2024) 软件作者： 罗宾·萨纳（Robin Sahner）；Trivedi，Kishor S。；安东尼奥·普利亚菲托 相关软件： 莫比乌斯；SPNP；智能_… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
WhyML公司 44篇文献引用(2013–2023) 软件作者： Jean-Christophe Filliátre；安德烈·帕斯科维奇 相关软件： Why3；z3；Coq… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
金西姆 43篇文献引用(2008–2024) 软件作者： Gonzales，A.G。；Naldi，A。；桑切斯，L。；蒂夫里，D。；朝义亚，C 相关软件： BoolNet；PyBoolNet；永旺… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
脂肪酸 39篇文献引用(2014–2023) 软件作者： 乌尔里希·鲍尔；迈克尔·科伯（Michael Kerber）；简·雷宁豪斯（Jan Reininghaus）；休伯特·瓦格纳 相关软件： 古迪；酒神；撕裂… 主要字段： 组合数学（05-XX）；代数拓扑（55-XX）；流形和细胞复合体（57-XX）…