高超声速 320篇文献引用(1996–2024) 软件作者： 汤姆·亨廷格（Tom Henzinger）、裴勇浩（Pei-Hin-Ho）和霍华德·旺托伊（Howard Wong-Toi）。 相关软件： Uppaal；PHAVer；Kronos… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ANFIS公司 202篇文献引用(1995–2022) 软件作者： Jang，J.-S.R.公司。 相关软件： UCI-ml；基因组学；DENFIS… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MPT公司 255篇文献引用(2004–2023) 软件作者： M.Kvasnica；P.Grieder；M.Baoti；苏黎世联邦理工大学；弗朗西斯科·博雷利 相关软件： YALMIP；CPLEX；Matlab… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
邦明 235篇文献引用(1995–2023) 软件作者： 皮埃尔·博纳米；Lorenz T.Biegler。；Andrew R.康涅狄格。；热拉尔·科努约尔斯；格罗斯曼，伊格纳西奥·E·。；卡尔·D·莱尔德。；Jon Lee；安德烈亚·洛迪；弗朗索瓦·马戈；尼古拉斯·萨瓦亚；安德烈亚斯·瓦赫特 相关软件： Ipopt；CPLEX；SCIP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
科学实验室 173篇文献引用(1999–2023) 软件作者： Scilab企业；里卡多·法布里 相关软件： Matlab；倍频程；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
BiCG选项卡 136篇文献引用(1989–2023) 软件作者： Sleijpen，G.L.G。；范德福斯特，H.A。；D.R.福克马。 相关软件： CGS；GpBiCg；mctoolbox… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
FPIN编号 129篇文献引用（2019年至2024年） 软件作者： 庞国飞、陆璐、乔治·埃姆·卡尼亚达基斯 相关软件： DeepXDE；亚当；DGM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PHAVer公司 119篇文献引用(2005–2024) 软件作者： 戈兰·弗雷斯 相关软件： 高科技；SpaceEx；RSOLVER… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
PPL（公私合营） 108篇文献引用(2002–2023) 软件作者： 罗伯托·巴格纳拉；利玛窦（Elisa Ricci）；扎法内拉，埃纳；帕特里夏·M·希尔。 相关软件： 高科技；停机坪；ASTREE… 主要字段： 数理逻辑与基础（03-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
微分方程.jl 76篇文献引用(2018–2024) 软件作者： C.Rackauckas，Q.Nie 相关软件： NeuralPDE.jl；朱莉娅；GitHub… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
bn学习 73篇文献引用（2009年-2023年） 软件作者： 马可·斯库塔里 相关软件： R；pcalg；TETRAD… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
SDPNAL公司+ 94份文件引用(2014–2024) 软件作者： 杨柳琴；孙德芬；杜金川 相关软件： SDPT3；塞杜米；QSDPNAL… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；统计学（62-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份文件引用(2001–2023) 软件作者： 普里查德；斯蒂芬斯；唐纳利 相关软件： Eigenstrat；弗拉佩；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
GloMIQO公司 86篇文献引用（2009年-2023年） 软件作者： C.A.Floudas；露丝·米塞纳 相关软件： SCIP；BARON公司；安提戈内… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；统计学（62-XX）…
PS温 76篇文献引用(2007–2023) 软件作者： 瓦兹，A.I.F。；Vicente，法律公告。 相关软件： MultiMin；NOMAD公司；MCS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
TAU公司 78篇文献引用(2002–2023) 软件作者： 托马斯·格霍尔德 相关软件： Spalart-Allmaras；MEGAFLOW；FLOWer… 主要字段： 统计学（62-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
COCO公司 75篇文献引用(2012–2023) 软件作者： Harry Dankowicz；弗兰克·席尔德 相关软件： 自动；MATCONT；AUTO-07P… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
HIFOO公司 73篇文献引用（2007年至2024年） 软件作者： D.Arzelier、G.Deaconu、S.Gumussoy、D.Henrion、M.Millstone、M.L.Overton 相关软件： 康普莱布；塞杜米；YALMIP… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
GpBiCg公司 68篇文献引用(1997–2023) 软件作者： 藤野精二；张绍良 相关软件： CGS；BiCGstab；稀疏矩阵… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
KEM-DEM公司 65篇文献引用(2005–2023) 软件作者： 长尾、瓦卡；吉福满万内；冈本，Tatsuaki 相关软件： 佩剑；NAXOS；HMQV… 主要字段： 数论（11-XX）；计算机科学（68-XX）；量子理论（81-XX）…
DENFIS公司 32篇文献引用(2004–2022) 软件作者： Kasabov NK、Song Q 相关软件： ANFIS；UCI-ml；ElemStatLearn… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MAGMA公司 50篇文献引用(2010–2022) 软件作者： J.Dongarra、T.Dong、M.Gates、A.Haidar、S.Tomov、I.Yamazaki 相关软件： 血浆；LAPACK；库达… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
清洁 56篇文献引用(1987–2016) 软件作者： 医学博士Plasmeijer。 相关软件： 哈斯克尔；米兰达；闪光… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
凯伊迈拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数理逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
射频前端模块 57篇文献引用(2005–2023) 软件作者： 卡斯滕森，C；巴里亚瓦蒂，C 相关软件： Matlab；na14；iFEM… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
向前地 55份文件引用(2004–2021) 软件作者： 尼拉马尼，R。；Choi，H。；R.巴拉纽克。 相关软件： RecPF；规范化工具；Matlab… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；数值分析（65-XX）…
流量* 49篇文献引用(2015–2024) 软件作者： Xin Chen、Erika Al brahám、Sriram Sankaranarayanan 相关软件： SpaceEx；d范围；高科技… 主要字段： 数理逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
JBoss公司 23篇文献引用(2004–2023) 软件作者： Red Hat公司。 相关软件： 口水；方面J；WebSphere… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
HSolver公司 在48份文件中引用(2005–2023) 软件作者： Stefan Ratschan；知坤社；TomášDzetkulič 相关软件： RSOLVER公司；基准；高科技… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
nuXmv（数字） 45篇文献引用(2015–2023) 软件作者： 罗伯特·卡瓦达、亚历山德罗·西马蒂、米歇尔·多里加蒂、阿尔贝托·格里乔、亚历桑德罗·马里奥蒂、安德烈亚·米凯利、塞尔吉奥·莫弗、马可·罗维里、斯特凡诺·托内塔 相关软件： z3；NuSMV；旋转… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
HYBRJ公司 46篇文献引用(1981–2020) 软件作者： 伯顿·S·加博（Burton S.Garbow）、肯尼思·希尔斯特罗姆（Kenneth E.Hillstrom）、豪尔赫·莫尔（Jorge J.More） 相关软件： minpack；抱怨；Matlab… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
StarPU公司 32篇文献引用(2012–2023) 软件作者： C.Augonnet、S.Thibault、R.Namyst、P.-A.Wacrenier 相关软件： CUDA；血浆；OpenCL… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
野牛 45篇文献引用(1997–2023) 软件作者： Scholl，A.、Klein，R.、Jürgens，C。 相关软件： OR-库；CPLEX；背包… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
Ninf-G/MPI公司 38篇文献引用（2001年至2016年） 软件作者： 樱井、铁冢；Kodaki，Yoshihisa；平崎Umeda；伊纳多米，Yuichi；渡边，Toshio；翁培长岛 相关软件： NetSolve；OmniRPC；Globus工具包… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
斯派克 40篇文献引用(2004–2022) 软件作者： 埃里克·波利齐（Eric Polizzi）；艾哈迈德·萨米赫 相关软件： 帕迪索；稀疏矩阵；MUMPS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
TSPTW公司 43篇文献引用(2001–2023) 软件作者： 菲利波·福卡奇；安德烈亚·洛迪；米歇拉·米兰 相关软件： LKH；VRP；TSPLIB… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
HYSDEL公司 41篇文献引用(2003–2023) 软件作者： 法比奥·达尼洛·托里西（Fabio Danilo Torrisi）、阿尔贝托·本普拉德（Alberto Bempoad）、乔埃勒·贝尔蒂尼（Giole Bertini）、彼得·赫塔奇（Peter Hertach）、多米尼克·约斯特（Dominic Jost）、多 相关软件： 混合工具箱；CPLEX；高科技… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
埃拉托 40篇文献引用(1979–2022) 软件作者： 格鲁伯，R。；Troyon，F.等人。；伯杰，D。；伯纳德，L.C。；罗塞特，S。；Schreiber，R。；科纳，W。；施耐德，W。；罗伯茨，K.V。 相关软件： XTOR；胆碱酯酶；GATO… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
rnorrexp公司 35篇文献引用(1982–2023) 软件作者： George Marsaglia、Wai Wan Tsang 相关软件： 齐古拉；MersenneTwister；BLISS… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
Clingcon公司 39篇文献引用（2009年至2022年） 软件作者： 马丁·格布瑟；马克斯·奥斯特罗斯基；托尔斯滕·绍布 相关软件： 克林戈；卡环；格林戈… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
日/日 40篇文献引用(2002–2022) 软件作者： 细辛，尤金；Dang，Thao；奥德·马勒 相关软件： 高科技；PHAVer；SpaceEx… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
HAS-质量保证计划 37篇文献引用(1999–2022) 软件作者： 甘巴德拉，L.M。；Taillard，E.D.公司。；M.多里戈。 相关软件： MACS-VRPTW；QAPLIB；禁忌搜索… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
模块 39篇文献引用(1985–2018) 软件作者： 伯纳杜，M。；哈西姆，A。；Laug，P。；转向，D。；维德拉斯库，M。；E.萨尔特尔。 相关软件： mpi4py；UFL；宠物… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
PARPAP公司 38篇文献引用(2006–2023) 软件作者： 贝特尔斯，斯特凡；托尔斯滕·法勒 相关软件： VRP；古罗比；超启发式… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
梅斯基特 31份文件引用(2006–2022) 软件作者： Sandia公司；M.Brewer、L.A.Freitag Diachin、P.M.Knupp、T.Leurent、D.Melander 相关软件： Gmsh；DistMesh；CUBIT… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
CORA公司 35篇文献引用(2016–2023) 软件作者： 马蒂亚斯·阿尔霍夫（Matthias Althoff）、尼古拉斯·科奇杜姆普（Niklas Kochdumper） 相关软件： 流量*；SpaceEx；C2e2… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
STeP公司 33篇文献引用(1997–2015) 软件作者： N.Bjørner、I.A.Browne、E.Chang、M.ColóN、A.Kapur、Z.Manna、H.B.Sipma、T.E.Uribe 相关软件： PVS；自旋蛋白；Uppaal… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
违约 32篇文献引用(2011–2022) 软件作者： 亚历山大·唐泽 相关软件： S-TaLiRo；流量*；SpaceEx… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CCSTM公司 34份文件引用(2010) 软件作者： N.G.Bronson，H.Cha。，K.Olukotun公司 相关软件： —— 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
普韦布洛 33篇文献引用(1998–2021) 软件作者： 侯赛因·希尼。；卡伦·萨卡拉。 相关软件： MiniSat；糠；周六… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；运筹学，数学规划（90-XX）…
LSSPER公司 28篇文献引用(2004–2023) 软件作者： 米雷尔·帕尔潘特；Artigues，基督教；菲利普·米歇隆 相关软件： PSPLIB；分散搜索；进展… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
奥根 32篇文献引用(2003–2023) 软件作者： 威廉·D·亨肖 相关软件： CMPGRD；溢流；PETSc… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
TC-HAT公司 32篇文献引用(2008–2023) 软件作者： Thota，P.，Dankowicz，H。 相关软件： SlideCont；自动；COCO… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
混合工具箱 30篇文献引用(2004–2023) 软件作者： 贝姆帕德A。 相关软件： HYSDEL；MPT；CPLEX… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
数字 30篇文献引用(2018–2021) 软件作者： Ch.Tsitouras。；T·E·西蒙斯。 相关软件： NEW9p；乳胶；数学… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
SALSA公司 30篇文献引用(2000–2017) 软件作者： 弗朗索瓦·拉伯特；伊夫·卡索 相关软件： 彗星；本地化人员；Oz… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
基准 28篇文献引用(2005–2023) 软件作者： 斯特凡·拉特肖恩（Stefan Ratschan）；她，志坤 相关软件： RSOLVER公司；HSolver；高科技… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
d到达 29篇文献引用(2015–2024) 软件作者： S.Kong、S.Gao、W.Chen、E.M.Clarke 相关软件： 流量*；SpaceEx；KeYmaera… 主要字段： 数理逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
马尔巴 24篇文献引用(2002–2021) 软件作者： E.阿尔巴。；阿尔梅达，F。；布莱萨，M。；Cabeza，J。；科塔，C。；Díaz，M。；我·多塔。；加巴罗，J。；莱昂，C。；Luna，J。；莫雷诺，L。；巴勃罗斯，C。；Petit，J。；罗哈斯，A。；Xhafa，F。 相关软件： ParaDisEO；PICO；欧洲法院… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
新9p 28篇文献引用(2018–2021) 软件作者： Ch.Tsitouras。；T·E·西蒙斯。 相关软件： 数字；乳胶；数学… 主要字段： 常微分方程（34-XX）；算子理论（47-XX）；数值分析（65-XX）…
VASP公司 16篇文献引用(2004–2023) 软件作者： 尤尔根·哈夫纳；乔治·克雷塞（Georg Kresse）；多丽丝·沃滕豪伯（Doris Vogtenhuber）；马蒂恩·马斯曼 相关软件： 量子浓缩咖啡；WIEN2k；Python… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
BoxLib（框库） 20篇文献引用(1998–2022) 软件作者： CCSE公司 相关软件： Chombo；帕拉梅什；SAMRAI… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
HySAT卫星 26篇文献引用(2006–2021) 软件作者： Fränzle，Martin；赫尔德，基督徒 相关软件： 高科技；数学SAT；SpaceEx… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
libGrid（libGrid） 27篇文献引用(2013–2023) 软件作者： 安德烈亚斯·沃格尔；塞巴斯蒂安·雷特；Rupp，Martin；Nägel，阿恩；加布里埃尔·威特姆 相关软件： pcl；libDiscretization；libAlgebra… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
噪音 27篇文献引用(2013–2023) 软件作者： I.Abalakin、A.Gorobets、T.Kozubskaya、D.Kolmogorov、A.Duben、I.Borovskaya 相关软件： Spalart-Allmaras；内斯维泰；微笑… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
S-TaLiRo公司 26篇文献引用(2011–2023) 软件作者： 安普雷迪（Annpureddy），亚什旺斯（Yashwanth）；刘，车；费内科斯（Fainekos，Georgios）；桑卡拉纳拉亚南，斯里拉姆 相关软件： 违约；SpaceEx；流量*… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
AVBP公司 26篇文献引用(2000–2023) 软件作者： 迈克尔·鲁杰德（Michael Rudgyard）；蒂洛·施恩费尔德 相关软件： CMPGRD；建议++；OpenPALM… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
CompuCell3D 25篇文献引用(2008–2022) 软件作者： 波普·阿夫斯基（Popławski，Nikodem J.）。；阿巴斯·希里尼法德；马西耶·斯瓦特；詹姆斯·格雷泽（James A.Glazier）。 相关软件： PhysiCell；贞洁；EmbryoMaker… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；计算机科学（68-XX）…
EDGE（边缘） 26篇文献引用(2002–2023) 软件作者： 彼得·埃利亚松 相关软件： Spalart-Allmaras；FUN3D；NSU3D… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
凯伊梅拉X 26篇文献引用(2015–2024) 软件作者： Fulton，N.、Mitsch，S.、Quesel，J.、Völp，M.、Platzer，A。 相关软件： 凯伊迈拉；Isabelle/HOL；Bellerophon… 主要字段： 数理逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
SIDH公司 26篇文献引用(2016–2023) 软件作者： Costello，C.、Longa，P.、Naehrig，M.、。 相关软件： SIKE公司；github；曲线25519… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
节点Trix 19份文件引用（2010年-2023年） 软件作者： Nathalie Henry、Jean-Daniel Fekete、Michael J.McGuffin 相关软件： ChordLink；马戏团；ThemeRiver… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）
汉索 23篇文献引用(2011–2023) 软件作者： 迈克尔·奥弗顿 相关软件： GradSamp；HIFOO；格兰索… 主要字段： 动力系统与遍历理论（37-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
混合动力 22篇文献引用(2012–2023) 软件作者： 混合动力集团 相关软件： Twelf公司；流行标志；Abella… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）
随机工具箱 21篇文献引用(2013–2023) 软件作者： 尤汉·查拉比、克里斯托弗·杜当、彼得·萨维基；迪瑟姆·伍尔茨（Diethelm Wuertz）；松本先生；M.Saito先生；D.克努特 相关软件： R；DiceOptim；DiceKriging… 主要字段： 数论（11-XX）；实函数（26-XX）；统计学（62-XX）…
深渊 19份文件引用（2008年至2021年） 软件作者： Nebro，A.J.、Luna，F.、Alba，E.、Dorronsoro，B.、Durillo，J.J.、Beham，A。 相关软件： SPEA2；j金属；MOEA/D… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
PyDS工具 21篇文献引用(2012–2023) 软件作者： Clewley RH、Sherwood WE、LaMar MD、Guckenheimer JM 相关软件： MATCONT；Matlab；自动… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
查龙 17篇文献引用(2000–2017) 软件作者： 拉吉耶夫，阿卢尔；格鲁苏，拉杜；Hur，Yerang；库马尔，维杰；李因苏普 相关软件： 高科技；SpaceEx；埃斯特雷尔… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
iATC-mHyb公司 21篇文献引用(2017–2019) 软件作者： Cheng，X。；Zhao，S.G。；Xiao，X。；K.C.周。 相关软件： iRNA-PseColl；pLoc-m动物；pLoc-mPlant… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
三倍的 16篇文献引用(2002–2015) 软件作者： Michael Sintek；斯特凡·戴克 相关软件： SPARQL；平滑；XSB… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；天文学和天体物理学（85-XX）…
ESLpred公司 13份文件引用(2005–2018) 软件作者： 巴辛，M。；拉格哈娃（G.Raghava）。 相关软件： 细胞定位；LOCSVMPSI；LIBSVM… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；数值分析（65-XX）…
OPT公司++ 17篇文献引用(1999–2018) 软件作者： Sandia公司；J.C.Meza、R.A.Oliva、P.D.Hough、P.J.Williams 相关软件： TAO；达科塔；CVX… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
VORPAL公司 17篇文献引用(2004–2019) 软件作者： 切特·尼特（Chet Nieter）；约翰·R·卡里。 相关软件： OSIRIS；快速采集；OOPIC… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；光学、电磁理论（78-XX）…
埃沃利诺 12份文件引用(2007–2021) 软件作者： 施密杜贝尔，J.，维斯特拉，D.，戈麦斯，F.J。 相关软件： 发条RNN；LSTM；darch… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
打开星云 6篇文献引用（2010年至2021年） 软件作者： OpenNebula项目（OpenNebula.org） 相关软件： 亚马逊EC2；桉树；太阳网格引擎… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）
RSBR公司_ 18篇文献引用(2001–2020) 软件作者： 钟宁；董菊珍；Setsuo Ohsuga 相关软件： LERS；C4.5；D-SCIDS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
科科斯 19份文件引用(2006–2019) 软件作者： 印度 相关软件： 科学实验室；科学实验室；FreeFem++… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿里阿德涅 17篇文献引用(2008–2023) 软件作者： 卢卡·本维努蒂；大卫·布雷索林；Pieter Collins；阿尔贝托法拉利；卢卡·杰雷蒂；蒂齐亚诺别墅 相关软件： 高科技；SpaceEx；PHAVer… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
数据包 17篇文献引用(2002–2019) 软件作者： 托尔斯玛，J.E。；P.I.巴顿 相关软件： DASSL；DASPK 3.0；SNOPT… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；变分法与最优控制；优化（49-XX）…
GSHMC公司 17篇文献引用(2008–2023) 软件作者： 埃琳娜·阿赫马茨卡亚；塞巴斯蒂安·雷奇 相关软件： 坚果；格罗姆克斯；PyMC… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
MetTeL公司 16篇文献引用(2011–2021) 软件作者： 德米特里·蒂什科夫斯基；雷娜特·施密特（Renate A.Schmidt）。；穆罕默德·科达达迪 相关软件： LoTREC公司；KL-ONE；Gen2sat… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
PRIMME_SVDS公司 17篇文献引用(2015–2024) 软件作者： 吴凌飞、埃洛伊·罗梅罗、安德烈亚斯·斯塔霍普洛斯 相关软件： PRIMME公司；PHSVDS；PROPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
PSPIKE公司 14篇文献引用(2004–2022) 软件作者： 萨特夫人；奥拉夫·申克；艾哈迈德·萨米赫（Ahmed H.Sameh）；穆拉特·芒果鲁 相关软件： 稀疏矩阵；斯派克；巴黎… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HOPSPACK系列 15篇文献引用（2010年-2023年） 软件作者： Sandia公司；Plantenga；G.A.Gray、J.D.Griffin、M.Taddy、M.Martinez-Canales、T.G.Kolda 相关软件： NOMAD公司；BOBYQA公司；DFO… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
JuliaReach公司 15篇文献引用(2018–2024) 软件作者： Sergiy Bogomolov、Marcelo Forets、Goran Frehse、Kostiantyn Potomkin、Christian Schilling 相关软件： SpaceEx；流量*；CORA… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
浣熊 15篇文献引用(2006–2020) 软件作者： 于尔根·德雷尔；雷纳·格雷尔 相关软件： 帕拉梅什；p4测试；皮诺… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
Sheppack公司 16篇文献引用（2010年至2021年） 软件作者： 威廉·萨克（William I.Thacker）；张静伟；莱恩·T·沃森；杰弗里·伯奇（Jeffrey B.Birch）；曼朱拉·艾耶；迈克尔·W·贝里 相关软件： Matlab；算法792；QSHEP3D… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；数值分析（65-XX）…
AntHocNet公司 8份文件引用(2006–2021) 软件作者： Di Caro，G。；杜卡泰尔，F。；甘巴德拉，L.M。 相关软件： AntNet；FLAR（闪光）；OMNet公司++ 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）…