对 9680份文件中引用(1978–2024) 软件作者： 哈德利·威克姆；先生，罗伯特；罗斯·伊哈卡（Ross Ihaka）；约翰·钱伯斯（John M.Chambers）。；William N.Venables。；布莱恩·里普利。 相关软件： CRAN；SAS；ggplot2… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
github 5217份文件引用(2010–2024) 软件作者： github 相关软件： R；亚当；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SageMath公司 2596份文件引用(2002–2024) 软件作者： 贤明的开发商；威廉·斯坦因；大卫·乔伊纳；David Kohel；约翰·克雷莫纳；伯里钦·埃罗卡尔 相关软件： 岩浆；间隙；GitHub… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
科学Py 引用于822份文件(2005–2024) 软件作者： Jones，E.、Oliphant，T.、Peterson，P.等人。 相关软件： 蟒蛇；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TensorFlow公司 856份文件引用(2016–2024) 软件作者： 谷歌大脑团队；M.Abadi、A.Agarwal、P.Barham、E.Brevdo、Z.Chen、C.Citro、G.S.Corrado、A.Davis、J.Dean、M.Devin等人 相关软件： 亚当；PyTorch；Keras… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Gms小时 968份文件中引用(2003–2024) 软件作者： Christophe Geuzaine，Jean-François Remacle 相关软件： FEniCS；PETSc；ParaView… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
自旋蛋白 619文件引用(1990–2023) 软件作者： 贝尔实验室 相关软件： NuSMV；Uppaal；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
开放式泡沫 666份文件引用(2007–2024) 软件作者： OpenCFD有限公司（ESI集团） 相关软件： FLUENT公司；github；Matlab… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
超小卫星 587份文件引用(2003–2023) 软件作者： Niklas Eén、Niklas Sörensson 相关软件： 糠；伯克敏；z3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
CGAL公司 423份文件引用(2000–2024) 软件作者： CGAL编辑委员会 相关软件： LEDA；二维三角剖分；三角形… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GeoGebra公司 203篇文献引用(2007–2024) 软件作者： – 相关软件： 几何画板；灰姑娘；GEX… 主要字段： 总体主题；藏品（00-XX）；交换代数（13-XX）；几何（51-XX）…
XFEM公司 407篇文献引用(2002–2024) 软件作者： 博尔达斯，《Stéphane作者简介》；阮富荣；西里尔州杜南；阿莫尔·吉杜姆；洪阮当 相关软件： Matlab；Gmsh；ABAQUS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
多晶的 400篇文献引用(2000–2024) 软件作者： Ewgenij Gawrilow、Michael Joswig和polymake团队 相关软件： 麦考利2号；格凡；正常（amp；N）… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
生物导体 引用于253份文件(2003–2024) 软件作者： 开放式开发项目 相关软件： R；gcrma；edgeR… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
全球供应链 357份文件引用(1997–2023) 软件作者： 崇谷 相关软件： R；半标准杆；fda（R）… 主要字段： 功能分析（46-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
威卡 230份文件引用(2005–2023) 软件作者： 雷姆科·R·布卡特。；Frank，Eibe；霍尔，马克·A。；杰弗里·霍姆斯；伯恩哈德·普法林格；彼得·鲁特曼（Peter Reutemann）；伊恩·维滕（Ian H.Witten）。 相关软件： UCI毫升；C4.5；LIBSVM… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ParaView视图 283份文件引用(2008–2024) 软件作者： 工具包 相关软件： Gmsh；FEniCS；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
脓疱病 311份文件引用（1985年至2024年） 软件作者： 布莱娜·哈泽尔顿（Bryna J.Hazelton）；丹尼尔·雅各布斯（Daniel C.Jacobs）；乔纳森·波伯；亚当·比尔兹利 相关软件： KernSmooth；R；spatstat… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
邦明 235篇文献引用(1995–2023) 软件作者： 皮埃尔·博纳米；Lorenz T.Biegler。；Andrew R.康涅狄格。；热拉尔·科努约尔斯；格罗斯曼，伊格纳西奥·E·。；卡尔·D·莱尔德。；Jon Lee；安德烈亚·洛迪；弗朗索瓦·马戈；尼古拉斯·萨瓦亚；安德烈亚斯·瓦赫特 相关软件： Ipopt公司；CPLEX；SCIP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
JuMP公司 194篇文献中引用(2017–2024) 软件作者： I.Dunning、J.Huchette、M.Lubin 相关软件： 朱莉娅；古罗比；GitHub… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
LIBLINEAR银行 163篇文献引用(2008–2024) 软件作者： 荣恩范；张凯伟；谢卓绝；王祥瑞；林智仁 相关软件： LIBSVM；UCI毫升；Pegasos… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-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）…
NLopt（NLopt） 151篇文献引用(2012–2024) 软件作者： S.G.约翰逊。 相关软件： github；R；BOBYQA… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
Globus工具包 61篇文献引用(2000–2022) 软件作者： 芝加哥大学；伊恩·福斯特（Ian Foster）。。。 相关软件： Condor-G；MPICH-G2；Nimrod/G… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SDPB公司 155份文件引用（2015年至2024年） 软件作者： 西蒙斯·杜芬，D 相关软件： 朱利·布茨；PyCFT引导；CFTs4D… 主要字段： 非结合环与代数（17-XX）；统计学（62-XX）；量子理论（81-XX）…
VTK公司 94份文件引用(2000–2024) 软件作者： W.Schroeder、L.Avila、K.Martin、W.Hoffman、C.Law 相关软件： 蟒蛇；ParaView；Gmsh… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
打开CV 69篇文献引用(2008–2023) 软件作者： G.布拉德斯基 相关软件： 蟒蛇；数字Py；SciPy… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）；生物学和其他自然科学（92-XX）…
MySQL数据库 65篇文献引用(1999–2023) 软件作者： – 相关软件： PHP；PostgreSQL；JavaScript… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Jupyter公司 55份文件引用(2016–2023) 软件作者： Jupyter项目；佩雷斯，F。；B.E.格兰杰。 相关软件： 蟒蛇；数字Py；SciPy… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Sage-Combinat公司 116篇文献引用(2010–2023) 软件作者： – 相关软件： SageMath；组织环境信息系统；雪维… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；代数几何（14-XX）…
QISKit公司 104篇文献引用(2018–2024) 软件作者： Qiskit社区 相关软件： github；Penny车道；循环（amp；C）… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
皮奥莫 103篇文献引用(2012–2024) 软件作者： 威廉·哈特（William E.Hart）。；卡尔·莱尔德；Jean-Paul Watson；大卫·L·伍德拉夫。 相关软件： 古罗比；Ipopt公司；CPLEX… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
有限责任公司 79份文件引用(2006–2023) 软件作者： Lattner，C.，Adve，V。；伊利诺伊大学 相关软件： z3；朱莉娅；GitHub… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
COIN或 109篇文献引用(2004–2023) 软件作者： http://www.coin-or.org/members.html 相关软件： CPLEX；SCIP；Ipopt… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
卡萨迪 102份文件引用(2012–2024) 软件作者： Joel Andersson；约翰·奥凯森；莫里茨·迪尔 相关软件： Ipopt公司；Matlab；HSL… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-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）…
开放式多媒体接口 79份文件引用(2004–2023) 软件作者： http://www.open-mpi.org/about/members网站/ 相关软件： CUDA；磁粉检测；MPI/MPICH… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
UFL公司 93篇文献引用(2010–2023) 软件作者： Alns，Martin s。；Logg，Anders；克里斯蒂安·B·奥尔加德。；玛丽·罗格内斯（Marie E.Rognes）。；加思·N·威尔斯。 相关软件： FEniCS；PETSc；Firedrake… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
格拉夫维兹 72份文件引用(2001–2023) 软件作者： 约翰·埃尔森；埃姆登·甘斯纳；Koutsofios，Lefteris；North，Stephen C。；戈登·伍德赫尔 相关软件： 动态记录仪；R；Python… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
卡费 61篇文献引用(2015–2023) 软件作者： Y.Jia、E.Shelhamer、J.Donahue、S.Karayev、J.Long、R.Girshick、S.Guadarrama、T.Darrell 相关软件： TensorFlow；ImageNet；AlexNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
精益 94份文件引用（2015年至2024年） 软件作者： 微软；莱昂纳多·德·莫拉；孔顺浩；杰里米·阿维加德；弗洛里斯·范·道恩（Floris van Doorn）；雅各布·冯·劳默 相关软件： Coq；Isabelle/HOL；Agda… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；范畴理论；同调代数（18-XX）…
打开BUGS 80篇文献引用(2007–2024) 软件作者： 安德鲁·托马斯 相关软件： R；WinBUGS；卡爪… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
双球面物理学 90篇文献引用（2015年至2024年） 软件作者： 克雷斯波，A.J.C。；Domínguez，J.M。；罗杰斯，B.D。；戈梅斯·盖斯特拉，M。；Longshaw，S。；坎内拉斯，R。；瓦康迪奥，R。；巴雷罗，A。；俄亥俄州加西亚·菲尔。 相关软件： CUDA；球面物理学；GADGET… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
星期六4j 86篇文献引用(2007–2023) 软件作者： 勒贝雷；帕兰 相关软件： QMaxSAT；MiniSat；查夫… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
Potassco公司 82份文件引用(2008–2023) 软件作者： 马丁·格布瑟（Martin Gebser）；本杰明·考夫曼；罗兰·卡明斯基（Roland Kaminski）；马克斯·奥斯特罗斯基；托尔斯滕·绍布（Torsten Schaub）；马吕斯·施奈德 相关软件： 克林戈；格林戈；扣… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
细胞景观 48篇文献引用(2007–2023) 软件作者： Shannon P、Markiel A、Ozier O、Baliga NS、Wang JT、Ramage D、Amin N、Schwikowski B、Ideker T 相关软件： KEGG；R；IntAct… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
PyFR公司 83份文件引用(2014–2024) 软件作者： 迈克尔·克莱姆、弗雷迪·威瑟登、彼得·文森特 相关软件： Gmsh；HE-E1GODF；Nektar++… 主要字段： 偏微分方程（35-XX）；功能分析（46-XX）；数值分析（65-XX）…
qpOASES公司 83份文件引用(2008–2023) 软件作者： H.J.Ferreau、C.Kirches、A.Potschka、H.G.Bock、M.Diehl 相关软件： fast_mpc；Ipopt公司；CVXGEN… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
格菲 71篇文献引用(2012–2024) 软件作者： M.Bastian、S.Heymann、M.Jacomy 相关软件： 力量图谱2；NetworkX；迁徙… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
PostgreSQL 55份文件引用(2000–2023) 软件作者： – 相关软件： 神谕；MySQL；MS SQL Server… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
主持人 60篇文献引用(2017–2024) 软件作者： 丹尼尔·福尔曼·马基、大卫·霍格、达斯汀·朗、乔纳森·古德曼 相关软件： 蟒蛇；SciPy；Matplotlib… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-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）…
托勒密 66份文件引用(1995–2022) 软件作者： Johan Eker、Jörn W.Janneck、Edward A.Lee、Jie Liu、Xiaojun Liu、Jozsef Ludvig、Stephen Neuendorffer、Sonia Sachs、Yuhong Xiong 相关软件： 大都市；卢斯特；状态流… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SU2型 77份文件引用(2014–2023) 软件作者： T.D.Economon、F.Palacios、S.R.Copeland、T.W.Lukaczyk、J.J.Alonso 相关软件： OpenFOAM；Spalart-Allmaras；Gmsh… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
量子浓缩咖啡 68篇文献引用(2010–2024) 软件作者： Giannozzi，P.、Baroni，S.、Bonini，N.、Calandra，M.、Car，R.、Cavazzoni，C.、Ceresoli，D等人。 相关软件： ABINIT公司；瓦尼尔90；lobpcg.m… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SCS公司 80篇文献引用(2016–2023) 软件作者： B.O’Donoghue、E.Chu、N.Parikh、S.Boyd 相关软件： 莫塞克；github；CVXPY… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
库恩 80篇文献引用(2009–2023) 软件作者： 彼得罗·贝洛蒂；Jon Lee；利贝蒂（Leo Liberti）；弗朗索瓦·马戈；安德烈亚斯·瓦赫特 相关软件： BARON公司；CPLEX；Bonmin… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ECOS公司 73篇文献引用(2014–2023) 软件作者： 亚历山大·多马希迪（Alexander Domahidi）、埃里克·朱（Eric Chu）、圣地亚哥·阿克勒（Santiago Akle）、汉·王（Han Wang） 相关软件： CVXPY；莫塞克；SCS… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；计算机科学（68-XX）…
SLMC公司 75篇文献引用(2003–2023) 软件作者： 雨果·维埃拉；路易斯·凯雷斯 相关软件： 棱镜；管道；莫德… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
BNT公司 58篇文献引用(2001–2023) 软件作者： 凯文·墨菲 相关软件： TETRAD公司；UCI毫升；LIBSVM… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
边界元++ 引用于67份文件(2013–2022) 软件作者： 西蒙·阿里奇（Simon Arridge）、蒂莫·贝奇（Timo Betcke）、理查德·詹姆斯（Richard James）、尼古拉斯·萨尔斯（Nicolas Salles）、马丁·施韦格（Martin Schweiger）、沃伊西奇（Wojciech） 相关软件： 蟒蛇；NGSolve；hlib… 主要字段： 偏微分方程（35-XX）；积分方程（45-XX）；数值分析（65-XX）…
QuTiP公司 55份文件引用（2015年至2024年） 软件作者： J.R.Johansson，P.D.Nation，F.Nori 相关软件： 蟒蛇；数字Py；SciPy… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
艾格拉布 32篇文献引用(2005–2023) 软件作者： A Delorme；S马克伊格 相关软件： Matlab；现场跳闸；头脑风暴… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
赛车手 53篇文献引用（2001年至2022年） 软件作者： Volker Haarslev、Kay Hidde、Ralf Möller、Michael Wessel 相关软件： FaCT++；颗粒；KL-ONE… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
杰森 引用于47份文件(1977–2023) 软件作者： 拉斐尔·博迪尼。；胡布纳，乔米·弗雷德；迈克尔·伍尔德里奇 相关软件： AgentSpeak；贾德克斯；2APL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
杜穆克斯 59篇文献引用(2009–2024) 软件作者： Flemisch，B.，Darcis，M.，Erbertseder，K.，Faigle，B.，Lauser，A.，Mosshaf，K 相关软件： DUNE；Gmsh；UMFPACK… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
CPA检查器 45篇文献引用（2011年-2023年） 软件作者： 德克·拜尔、斯特凡·洛韦、菲利普·温德勒 相关软件： 爆炸；CBMC；SLAM… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
贞洁 57篇文献引用(2009–2024) 软件作者： 米格尔·O·伯纳乌。；拉斐尔·博尔达斯；帕希马纳坦，普拉斯；乔·皮特·弗朗西斯；乔纳森·库珀（Jonathan Cooper）；阿兰·加里；大卫·J·加瓦汉。；布兰卡·罗德里格斯；南部，詹姆斯·A。；乔纳森·怀特利（Jonathan P.Whiteley）。 相关软件： CellML；PhysiCell；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
libMC公司 60篇文献引用(2009–2023) 软件作者： 查查特，B 相关软件： 安提戈内；BARON公司；MAiNGO… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
开放SSL 59篇文献引用(2002–2021) 软件作者： OpenSSL项目；Young，E.A.，Hudson，T.J 相关软件： 电子飞机控制系统；github；gmp… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
Protege公司 28篇文献引用(1997–2022) 软件作者： 斯坦福大学；J.H.Gennari、M.A.Musen、R.W.Fergerson等人。 相关软件： 颗粒；赛车手；耶拿… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
柠檬 59篇文献引用(2013–2023) 软件作者： Balázs Dezsőa；Alpár Jüttner；佩特科瓦奇 相关软件： CPLEX；TSPLIB；古罗比… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
波科普 58篇文献引用(2013–2023) 软件作者： Bonnans，F.J.、Martinon，P.、Grélard，V。 相关软件： Ipopt公司；火腿路径；SOCS… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
核桃 56篇文献引用(2017–2024) 软件作者： 哈穆恩·穆萨维 相关软件： 组织环境信息系统；github；山核桃… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
世界癌症协会 54篇文献引用(2016–2023) 软件作者： Ali Sadollah、Hadi Eskandar、Ho Min Lee、Do Guen Yoo、Joong Hoon Kim 相关软件： GSA；GWO；WOA… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
GGobi公司 38篇文献引用(2003–2023) 软件作者： 黛比·斯韦恩；迪库克；邓肯寺朗；安德烈亚斯·布亚 相关软件： R；XGobi；ggplot2… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
天文望远镜 5份文件引用(2018–2023) 软件作者： T.P.Robitaille、E.J.Tollerud等人。 相关软件： 蟒蛇；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；光学、电磁理论（78-XX）；量子理论（81-XX）…
G+平滑 55份文件引用(2014–2023) 软件作者： Angelos Mantzaflaris，Bert Jüttler 相关软件： ISOGAT；IETI；GitHub… 主要字段： 势能理论（31-XX）；偏微分方程（35-XX）；近似和展开（41-XX）…
吉隆坡机场 43篇文献引用(2010–2023) 软件作者： 克里斯蒂安·卡达尔、丹尼尔·邓巴、道森·恩格尔 相关软件： z3；可爱的；DART… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
农业部 41篇文献引用(2013–2023) 软件作者： 阿尔伯特·比费特；杰夫·霍姆斯；伯恩哈德·普法林格 相关软件： UCI毫升；威卡；Scikit… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
OpenMx（OpenMx） 39篇文献引用(2006–2023) 软件作者： 史蒂文·博克（Steven Boker）；迈克尔·尼尔；赫尔敏·梅斯（Hermine Maes）；迈克尔·王尔德；迈克尔·施皮格尔（Michael Spiegel）；蒂莫西·布里克；间谍，杰弗里；雷恩·埃斯塔布鲁克；莎拉·肯尼；蒂莫西·贝茨（Timothy Bates）；梅塔，帕拉斯；约翰·福克斯 相关软件： R；Mplus；熔岩… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
生物CHAM 52篇文献引用(2005–2024) 软件作者： Chabrier，N.、Fages，F.、Soliman，S。 相关软件： 生物-PEPA；棱镜；政治公众人物协议… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
OSQP公司 49篇文献引用(2018–2024) 软件作者： Bartolomeo Stellato、Goran Banjac、Paul Goulart、Alberto Bempoad、Stephen Boyd 相关软件： 古罗比；莫塞克；qpOASES… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LAM-MPI公司 45篇文献引用(1996–2020) 软件作者： Burns，G.、Daoud，R.和Vaigl，J 相关软件： MPI/MPICH；磁粉检测；梅蒂斯… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
d真实 50篇文献引用(2013–2023) 软件作者： 高思春；孔顺浩；埃德蒙·克拉克（Edmund M.Clarke）。 相关软件： z3；Coq；HOL灯… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
污水处理厂 46篇文献引用(2007–2023) 软件作者： 维杰·加内什（Vijay Ganesh）；特雷弗·汉森；马特·索斯；Dan Liew；Ryan Govostes；安德鲁·琼斯；等人。 相关软件： z3；投掷；可爱… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
实摊铺机 51篇文献引用(2003–2017) 软件作者： 劳伦特·格兰维尔（Laurent Granvilliers） 相关软件： 数字；进入PT_90；监狱… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PlatEMO公司 43篇文献引用(2017–2023) 软件作者： 叶田、冉成、张兴义、金耀初 相关软件： MOEA/D；HypE；SPEA2… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
极乐 49篇文献引用(2007–2024) 软件作者： T.Junttila、P.Kaski 相关软件： 鹦鹉螺；踪迹；间隙… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
中国银行 45篇文献引用(2007–2023) 软件作者： 约翰·福雷斯特 相关软件： CPLEX；古罗比；SCIP… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
InterFOAM公司 49篇文献引用(2013–2023) 软件作者： 苏拉伊·德什潘德；拉克希曼•阿努莫鲁；马里奥·特鲁希略 相关软件： OpenFOAM；格里斯；PROST… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
ITK公司 25篇文献引用（2006年至2019年） 软件作者： Ibanez，L.、Schroeder，W.、Ng，L.和Cates，J。 相关软件： VTK；CUDA；Python… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
奥维托 44篇文献引用(2012–2023) 软件作者： 亚历山大·斯图科夫斯基 相关软件： 跛行；查姆；Gromacs… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
电位计 48篇文献引用(2018–2024) 软件作者： 弗拉马里，R.，考蒂，N。 相关软件： github；Wasserstein GAN；亚当… 主要字段： 变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
汽车-WEKA 39篇文献引用(2015–2023) 软件作者： Kotthoff，Lars；克里斯·桑顿（Chris Thornton）；霍尔格·胡斯。；弗兰克·赫特（Frank Hutter）；凯文·莱顿·布朗 相关软件： 自动学习；SMAC；青蒿… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-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）…
皮亚姆集团 43篇文献引用(2010–2024) 软件作者： 贝尔，W.N。；奥尔森，L.N。；施罗德，J.B。 相关软件： github；蟒蛇；炒作… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…