UCI-毫升 3034文件引用(1995–2024) 软件作者： David Aha、Patrick Murphy、Christopher Merz、Eamonn Keogh、Cathy Blake、Seth Hettich、David Newman 相关软件： C4.5；LIBSVM；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
fda（右） 1806年文献引用(1997–2024) 软件作者： J.O.Ramsay、Hadley Wickham、Spencer Graves、Giles Hooker 相关软件： R；半标准杆；ElemStatLearn… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
伦敦银行支持向量机 引用于1061份文件(2002–2024) 软件作者： Chih-Chung Chang；林智仁 相关软件： UCI-ml；LIBLINEAR；SVMlight… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
引导数据库 1196年文献引用(1993–2023) 软件作者： Rob Tibshirani、Friedrich Leisch 相关软件： R；bootlib；ElemStatLearn… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
古罗比 1079份文件引用(2010–2024) 软件作者： 宗豪古；Ed Rothberg；鲍勃·比克斯比；Gurobi Optimization公司。 相关软件： CPLEX；SCIP；GitHub… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
交易.ii 728份文件引用(1999–2024) 软件作者： Bangerth W、Hartman R、Kanschat G 相关软件： 特里利诺斯；PETSc；测试… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
开放式泡沫 666份文件引用（2007年至2024年） 软件作者： OpenCFD有限公司（ESI集团） 相关软件： FLUENT公司；github；Matlab… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
PVS公司 617文件引用(1993–2023) 软件作者： Sam Owre、Natarajan Shankar、John Rushby 相关软件： Coq；Isabelle/HOL；HOL… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DIMACS公司 引用于603份文件(1993–2024) 软件作者： 约翰逊，D.S。；诡计，M。 相关软件： 禁忌搜索；SATO；箔条… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FFTW公司 570份文件引用(2000–2024) 软件作者： 麻省理工学院；马泰奥·弗里戈（Matteo Frigo）；史蒂文·约翰逊 相关软件： Matlab；ATLAS；LAPACK… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
伊斯梅夫 462份文件引用（2001年至2024年） 软件作者： 珍妮特·赫弗南；亚历克·斯蒂芬森 相关软件： R；量化风险管理；空间极值… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
CGAL公司 423份文件引用(2000–2024) 软件作者： CGAL编辑委员会 相关软件： LEDA；二维三角剖分；三角形… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
质量（R） 373份文件引用(2002–2024) 软件作者： Brian Ripley、Bill Venables、Douglas M.Bates、Kurt Hornik、Albrecht Gebhardt、David Firth 相关软件： R；ggplot2；e1071… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
TPTP公司 419份文件引用(1994–2023) 软件作者： Geoff Sutcliffe；克里斯蒂安·萨特纳 相关软件： 吸血鬼；E定理证明器；SPASS… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；几何（51-XX）…
水蝇 404文件引用(2000–2024) 软件作者： Stéphane波皮内特 相关软件： 前列素；蜥蜴；SLIC… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
XPath（XPath） 205篇文献引用(2002–2023) 软件作者： w3.org网站 相关软件： XQuery；X标记；Oracle… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
卢比 173篇文献引用(2013–2024) 软件作者： 德克·埃德布特尔；罗曼·弗朗索瓦；JJ Allaire；约翰·钱伯斯；道格拉斯·贝茨；凯文·乌西 相关软件： R；RcppArmadillo；ggplot2… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
水獭 326篇文献引用(1988–2023) 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺（Amor Montano）、何塞·阿尔弗雷多（Jose Alfredo）；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；吸血鬼；SPASS… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
高铁 302文件引用(1975–2023) 软件作者： 卢瑟福阿普尔顿实验室数值分析小组和其他专家 相关软件： 稀疏矩阵；Ipopt；MA57… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
阿达95 引用于277份文件(1979–2023) 软件作者： 让·伊克比亚 相关软件： 调制；埃菲尔；闲聊… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
SVM灯 214篇文献引用(2000–2023) 软件作者： 托尔斯滕·约阿希姆斯 相关软件： LIBSVM；UCI-ml；SVMTorch… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
12月6日 236篇文献引用(2003–2023) 软件作者： 尼古拉斯·I.M.古尔德。；多米尼克·奥尔班；马桶，菲利普·L。 相关软件： 切割机；minpack；L-BFGS… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
针织品 219篇文献引用(2003–2024) 软件作者： 青蒿；Ziena Optimization，R.Byrd，J.Nocedal，R.Waltz 相关软件： Ipopt；SNOPT；AMPL… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
CAViaR公司 221篇文献引用(2001–2023) 软件作者： 罗伯特·恩格尔（Robert F Engle）；西蒙·曼加内利 相关软件： 量化风险管理；风险度量；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
PLTMG公司 218篇文献引用(1990–2023) 软件作者： Randolph E.Bank；加利福尼亚大学 相关软件： 无人值守地面；PETSc；交易.ii… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
TetGen公司 212篇文献引用(2006–2024) 软件作者： 汉斯 相关软件： 三角形；Gmsh；CGAL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
和弦 89份文件引用(2003–2023) 软件作者： Stoica，I.、Morris，R.、Karger，D.、Kaashoek，M.F.、Balakrishnan，H 相关软件： 糕点；巴顿；Globus工具包… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
神经元 146篇文献引用(1996–2023) 软件作者： Migliore，M。；坎尼亚，C。；W.W.莱顿。；Markram，Henry；M.L.海因斯。 相关软件： 巢穴；布莱恩；Pynn… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
国家标准-2 87份文件引用(2000–2022) 软件作者： 加州大学伯克利分校；McCanne，S。；弗洛伊德，S。 相关软件： 网络模拟器2；GloboSim；ns-3… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
LIBLINEAR银行 163篇文献引用(2008–2024) 软件作者： 荣恩范；张凯伟；谢卓绝；王祥瑞；林智仁 相关软件： LIBSVM；UCI-ml；Pegasos… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
奥赛 189份文件引用(2008–2023) 软件作者： 格雷纳B。 相关软件： Z树；Stata公司；hroot… 主要字段： 统计学（62-XX）；量子理论（81-XX）；运筹学，数学规划（90-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）…
冠军 185篇文献引用(1992–2024) 软件作者： 威廉姆森（David L.Williamson）。；约翰·B·德雷克。；詹姆斯·哈克（James J.Hack）。；吕迪格·雅各布；Paul N.Swarztrauber。 相关软件： PETSc；Firedrake；尼康… 主要字段： 偏微分方程（35-XX）；全局分析，流形分析（58-XX）；数值分析（65-XX）…
NLopt（NLopt） 151篇文献引用(2012–2024) 软件作者： S.G.约翰逊。 相关软件： github；R；BOBYQA… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
传奇 173篇文献引用(2015–2024) 软件作者： Aaron Defazio、Francis Bach、Simon Lacoste-Julien 相关软件： 阿达格拉德；LIBSVM；菲尼托… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
酯类 137篇文献引用(1985–2023) 软件作者： 杰拉德·贝瑞 相关软件： 卢斯特；信号；Uppaal… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-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）…
灰姑娘 95篇文献引用(1999–2023) 软件作者： 尤尔根·里希特·盖伯特（Jürgen Richter-Gebert）；乌尔里希·科尔滕坎普 相关软件： 几何画板；GeoGebra；GEX… 主要字段： 总体主题；藏品（00-XX）；几何（51-XX）；数值分析（65-XX）…
FRK公司 156篇文献引用(2008–2024) 软件作者： Andrew Zammit-Magion、Timothy Davis、Patrick Amestoy、Iain Duff、John K.Reid 相关软件： spBayes；GMRFLib；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
伊萨尔 156篇文献引用(2000–2024) 软件作者： 马卡里乌斯·温泽尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）…
Why3号机组 144篇文献引用(2004–2023) 软件作者： 弗朗索瓦·博博特；Jean-Christophe Filliátre；克劳德·马奇；纪尧姆·梅尔金德；安德烈·帕斯科维奇 相关软件： Coq；喀拉喀托；z3… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
VTK公司 94份文件引用(2000–2024) 软件作者： W.Schroeder、L.Avila、K.Martin、W.Hoffman、C.Law 相关软件： 蟒蛇；ParaView；Gmsh… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
费曼图 133篇文献引用(2000–2024) 软件作者： 哈根·埃克；塞普·库布贝克 相关软件： FormCalc；费恩规则；FeynCalc… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
e1071号 109篇文献引用(2002–2023) 软件作者： David Meyer、Evgenia Dimitriadou、Kurt Hornik、Andreas Weingessel、Friedrich Leisch、Chih-Chung Chang、Chih Chen Lin 相关软件： R；随机森林；质量（R）… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
方面J 99篇文献引用(2001–2022) 软件作者： 格雷戈·基泽莱斯（Gregor Kiczales）；埃里克·希尔斯代尔；Jim Hugunin；米克·克尔斯滕（Mik Kersten）；杰弗里·帕尔姆 相关软件： 凯撒J；JBoss；JAsCo… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
埃尔朗 112份文件引用(1993–2023) 软件作者： erlang.org网站 相关软件： 哈斯克尔；JCobox；快速检查… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
C-XSC 2.0版 128篇文献引用(1979–2023) 软件作者： 沃纳·霍夫舒斯特；沃尔特·克雷默；R.Klatte公司 相关软件： C-XSC；国际实验室；进入PT_90… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
科恩拉布 98篇文献引用(2007–2023) 软件作者： 亚历山大·卡拉佐格鲁；亚历克斯·斯莫拉（Alex Smola）；库尔特·霍尼克 相关软件： R；UCI-ml；e1071… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
帕伽索斯 120篇文献引用(2009–2024) 软件作者： Shai Shalev-Shwartz、Yoram Singer、Nathan Srebro、Andrew Cotter 相关软件： LIBSVM；LIBLINEAR；UCI-ml… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
视觉UTA 118篇文献引用(2008–2023) 软件作者： S.Greco、V.Mousseau、R.Słowiáski 相关软件： UTA Plus；M-MACBETH；电气… 主要字段： 测量和集成（28-XX）；统计学（62-XX）；计算机科学（68-XX）…
帕拉梅什 110篇文献引用(2000–2024) 软件作者： P.MacNeice、K.M.Olson、C.Mobarry、R.de Fainchtein、C.Packer 相关软件： Chombo；闪光；Gerris… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
MOOD公司 119篇文献引用(2011–2022) 软件作者： Clain，S。；迪奥，S。；卢贝尔，R。 相关软件： HE-E1GODF；HLLE；雷亚尔… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
乐高 116篇文献引用(1991–2023) 软件作者： 罗，Z.，波拉克，R。 相关软件： Coq；Nuprl；自动… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
PPL（公私合营） 108篇文献引用(2002–2023) 软件作者： 罗伯托·巴格纳拉；利玛窦（Elisa Ricci）；扎法内拉，埃纳；帕特里夏·M·希尔。 相关软件： 高科技；停机坪；ASTREE… 主要字段： 数理逻辑与基础（03-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
泰勒 114篇文献引用(2003–2024) 软件作者： 天使乔尔巴；邹茂荣 相关软件： ATOMFT；潮汐；杆… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
达夫尼 105份文献中引用(2010–2024) 软件作者： 鲁斯坦·莱诺 相关软件： z3；Why3；布吉… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
糕点 66份文件引用(2001–2023) 软件作者： 安东尼·罗斯特龙（Antony Rowstron）；彼得·德鲁舍尔 相关软件： 和弦；脚本；指挥棒… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
SHOGUN公司 89份文件引用(2005–2023) 软件作者： Sonnenburg，Sören；冈纳州Rätsch；克里斯蒂安·谢弗；Schölkopf，伯恩哈德；塞巴斯蒂安·亨舍尔；克里斯蒂安·维德默（Christian Widmer）；乔纳斯·贝尔（Jonas Behr）；亚历山大·齐恩（Alexander Zien）；Fabio De Bona；亚历山大·宾德（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）…
罗丹 94份文件引用(2008–2024) 软件作者： Abrial，J.R.、Butler，M.、Hallerstede，S.、Hoang，T.S.、Mehta，F.、Voisin，L。 相关软件： ProB；Z；马戏团… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
电子束框架 99篇文献引用(1997–2023) 软件作者： 谢永明。；史蒂文，G.P。 相关软件： 顶部.m；前88米；Matlab… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
AK-MCS公司 102份文件引用(2012–2023) 软件作者： B.Echard、N.Gayton、M.Lemaire 相关软件： 鲮鱼；EGO；UQLab… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
hlib公司 103篇文献引用(2005–2023) 软件作者： 斯特芬·博姆（Steffen Börm）；Lars Grasedyck；莱比锡Max-Planck-Institut 相关软件： STRUMPACK；乔治；GitHub… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；积分方程（45-XX）…
MA57型 101篇文献引用(2002–2023) 软件作者： 达夫，伊恩·S。 相关软件： HSL；Ipopt；稀疏矩阵… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；可变形固体力学（74-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）…
弹丸 引用于71份文件(2006–2023) 软件作者： Sirin，E.，Parsia，B.，Grau，B.C.，Kalyanpur，A.，Katz，Y。；Clark&Parsia有限责任公司 相关软件： FaCT++；赛车手；赫密特… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
UFL公司 93篇文献引用（2010年-2023年） 软件作者： Alns，Martin s。；Logg，Anders；克里斯蒂安·加德（Kristian B.lgaard）。；玛丽·罗格内斯（Marie E.Rognes）。；加思·N·威尔斯。 相关软件： FEniCS；PETSc；Firedrake… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
锡林克斯 24篇文献引用(1994–2023) 软件作者： Xilinx公司。 相关软件： Handel-C；Matlab；Simulink… 主要字段： 场论与多项式（12-XX）；计算机科学（68-XX）；量子理论（81-XX）…
BENSOLVE公司 96篇文献引用(2011–2024) 软件作者： 安德烈亚斯·勒恩；本杰明·魏宁 相关软件： CVX；github；古罗比… 主要字段： 功能分析（46-XX）；变分法与最优控制；优化（49-XX）；凸和离散几何（52-XX）…
针织物 52篇文献引用(2012–2023) 软件作者： 谢一辉等。 相关软件： R；ggplot2；rmarkdown… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
bn学习 73篇文献引用（2009年-2023年） 软件作者： 马可·斯库塔里 相关软件： R；pcalg；TETRAD… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
Gecode公司 85篇文献引用(2007–2023) 软件作者： 克里斯蒂安·舒尔特（Christian Schulte），KTH皇家理工学院 相关软件： 微量锌；CPLEX；Choco… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SpaceEx公司 90篇文献引用(2011–2023) 软件作者： 戈兰·弗雷泽（Goran Frehse）、科拉斯·勒格尼奇（Colas Le Guernic）、亚历山大·唐泽（Alexandre Donzé）、斯科特·科顿（Scott Cotton）、拉贾西·雷（Rajarshi Ray）、奥利维尔·勒贝泰尔（Olivier Lebeltel）、鲁道夫·里帕多（Rodolf 相关软件： 高科技；流量*；PHAVer… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
低密度聚乙烯 84份文件引用(1997–2023) 软件作者： 拉德福德·M·尼尔；麦凯，D.J.C。 相关软件： Matlab；岩浆；广场… 主要字段： 组合数学（05-XX）；数论（11-XX）；几何（51-XX）…
奥的斯 89份文件引用（1987年-2023年） 软件作者： 巴黎，西南部。；Hargraves，C.R；NASA格伦研究中心 相关软件： SOCS；SNOPT；NPSOL… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
坦索拉布 87份文件引用(2013–2023) 软件作者： L.Sorber、M.Van Barel、L.De Lathauwer 相关软件： 张量工具箱；Matlab；算法862… 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
德尔福 52篇文献引用(1995–2015) 软件作者： Embarcadero技术公司；博兰德 相关软件： Visual Basic；擅长；SPSS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PostgreSQL（PostgreSQL） 55份文件引用(2000–2023) 软件作者： —— 相关软件： 甲骨文；MySQL；MS SQL Server… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
ADIC公司 83份文件引用(1996–2023) 软件作者： Howland，P。；诺里斯，B。；B.史密斯。 相关软件： ADIFR；ADOL-C；PETSc… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PLINK公司 引用于71份文件(1994–2023) 软件作者： Purcell S、Neale B、Todd-Brown K、Thomas L、Ferreira MAR、Bender D等人 相关软件： R；GCTA；Eigenstrat… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
仙人掌 70篇文献引用(2000–2023) 软件作者： 汤姆·古代尔；加布里埃尔·艾伦；Gerd Lanfermann；Joan Masso；托马斯·雷德克；爱德华·塞德尔（Edward Seidel）；约翰·沙尔夫 相关软件： 地毯；爱因斯坦工具包；Chombo… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
数学SAT5 80篇文献引用(2013–2023) 软件作者： 亚历山德罗·西马蒂；阿尔贝托·格里乔；沙夫斯马，巴斯蒂安·乔斯特；罗伯托·塞巴斯蒂亚尼 相关软件： z3；CVC4；Yices… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
mpmath（数学） 77份文件引用(2010–2024) 软件作者： 弗雷德里克·约翰逊 相关软件： SciPy；SageMath；SymPy… 主要字段： 数论（11-XX）；特殊功能（33-XX）；数值分析（65-XX）…
STL公司 72份文件引用(1997–2021) 软件作者： 大卫·穆瑟（David R.Musser）、亚历山大·斯捷潘诺夫（Alexander Stepanov） 相关软件： 促进；增强C++库；CGAL… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
啊啊 80篇文献引用(2017–2024) 软件作者： Yuji Nakatsukasa、Olivier Sète、Lloyd N.Trefethen 相关软件： RK工具箱；切布冯；Loewner… 主要字段： 复变量函数（30-XX）；偏微分方程（35-XX）；近似和展开（41-XX）…
IPython公司 53篇文献引用(2008–2023) 软件作者： F.Pérez、B.E.Granger 相关软件： 蟒蛇；Matplotlib；科学… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
gnuplot卫星 59篇文献引用(1995–2024) 软件作者： 威廉姆斯，T。；凯利，C。 相关软件： LAPACK；朱莉娅；Matplotlib… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
网关工具箱 68篇文献引用(1999–2021) 软件作者： C.Houck、J.Joines、M.Kay、A.Chipperfield、P.Flemming、H.Pohlheim、C.Fonseca 相关软件： Matlab；基因组学；遗传算法与直接搜索工具箱… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
MRMC公司 引用于71份文件(2006–2023) 软件作者： Joost-Pieter Katoen；亚琛工业大学 相关软件： 棱镜；Uppaal；CADP… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
科帕西 61篇文献引用(2008–2022) 软件作者： S.Hoops、S.Sahle、R.Gauges、C.Lee、J.Pahle、N.Simus、M.Singhal、L.Xu、P.Mendes、U.Kummer 相关软件： 生物模型；R；BioNetGen… 主要字段： 常微分方程（34-XX）；统计学（62-XX）；计算机科学（68-XX）…
打火石 68篇文献引用（2009年-2023年） 软件作者： 威廉·哈特。 相关软件： SageMath；岩浆；NTL… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
简单MKL 66份文件引用(2008–2023) 软件作者： 阿兰·阿科托马蒙杰；巴赫，弗朗西斯·R。；圣潘省卡努；伊夫·格兰德瓦莱特 相关软件： SHOGUN公司；LIBSVM；UCI-ml… 主要字段： 功能分析（46-XX）；统计学（62-XX）；计算机科学（68-XX）…
西尔克 引用于54份文件(2000–2022) 软件作者： 英特尔；Blumofe R.D.、Joerg C.F.、Kuszmaul B.C.、Leiserson C.E.、Randall K.H.、Zhou Y 相关软件： 英特尔TBB；OpenCL；星PU… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
SIPI图像数据库 60篇文献引用(2007–2023) 软件作者： 有韦伯 相关软件： LIBSVM；github；MATLAB-Python-inpainting-codes… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SSVM（SSVM） 67篇文献引用(2001–2023) 软件作者： Lee，Yuh-Jye；O.L.，Mangasarian。 相关软件： UCI-ml；LIBSVM；RSVM… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
foreach公司 33篇文献引用(2013–2023) 软件作者： Steve Weston，Revolution Analytics公司 相关软件： R；do并行；ggplot2… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
利比奥普 68篇文献引用（2019年-2023年） 软件作者： Nicholas P.沃德。 相关软件： 利格罗；斯巴达人；马林… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
SVMTorch公司 在48份文件中引用(2001–2021) 软件作者： 罗南·库洛伯特；萨米·本吉奥 相关软件： UCI-ml；LIBSVM；SVMlight… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
WASP公司 63份文件引用(2014–2023) 软件作者： 阿尔维亚诺，马里奥；多达罗、卡明；沃尔夫冈·费伯（Wolfgang Faber）；尼古拉·利昂内（Nicola Leone）；弗朗西斯科·里卡 相关软件： 克林戈；卡环；格林戈… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…