阿尔戈60 657份文件引用(1959–2024) 软件作者： Naur，P。；巴克斯，J.W。；等。 相关软件： ALGOL 68；欧拉；损益表… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
MersenneTwister公司 351篇文献引用(1998–2023) 软件作者： 松本真本；西村、高治 相关软件： 测试U01；R；死亡… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
并入PT_90 310份文件引用(1996–2023) 软件作者： R.Baker Kearfott先生 相关软件： 国际实验室；C-XSC；个人资料/偏见… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DOLFIN公司 235篇文献引用(2004–2023) 软件作者： Anders Logg、Johan Hoffman、Garth N.Wells、Johan Jansson、Ola Skavhaug、Kent Andre Mardal、Martin Sandve Alnes、Johan Hake、Niclas Jansson、Johannes Ring、Kristian B.Ölgaard、Marie Rognes 相关软件： FEniCS；PETSc；UFL… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
TetGen公司 212篇文献引用(2006–2024) 软件作者： 汉斯 相关软件： 三角形；Gmsh；CGAL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
有限元分析 213篇文献引用（1993年至2024年） 软件作者： 泰勒；加州大学伯克利分校 相关软件： PETSc；阿巴夸斯；FEAPpv… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
PolyMesher公司 200篇文献引用(2012–2024) 软件作者： 卡梅隆·塔利西；Paulino，Glaucio H。；佩雷拉·安德森；伊凡·梅内泽斯。 相关软件： PolyTop；Matlab；三角形… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
无人值守地面 185篇文献引用(1994–2021) 软件作者： 巴斯蒂安，P。；伯肯，K。；Johannsen，K。；Lang，S。；纽伊，N。；伦茨·雷切尔，H。；维纳斯，C。 相关软件： DUNE；PETSc；PLTMG… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
PYTHIA8公司 154份文件引用(2006–2023) 软件作者： T.Sjöstrand、S.Mrenna、P.Z.Skands 相关软件： MadGraph；赫维格++；FastJet… 主要字段： 数值分析（65-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）…
费曼图 133篇文献引用(2000–2024) 软件作者： 哈根·埃克；Sepp Küblbeck公司 相关软件： FormCalc；费恩规则；FeynCalc… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
凯卡克 137篇文献引用(2011–2024) 软件作者： Bertoni，G.、Daemen，J.、Peeters，M.、Van Assche，G。 相关软件： 出席；GitHub；金利… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
g跨度 91份文件引用(2003–2022) 软件作者： 严，X，韩，J。 相关软件： CloseGraph；PrefixSpan；铲刀… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
阿巴克斯 117篇文献引用(1996–2022) 软件作者： 精灵，马提亚斯；卡斯滕·古特温格；迈克尔·Jünger；乔瓦尼·里纳尔迪 相关软件： CPLEX；MINTO公司；SYMPHONY… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
西雅娜 75篇文献引用(2012–2023) 软件作者： J.Bergstra、O.Breuleux、F.Bastien、P.Lamblin、R.Pascanu、G.Desjardins、J.Turian、D.Warde-Farley、Y.Bengio。 相关软件： TensorFlow；亚当；PyTorch… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
seL4级 92份文件引用(2009–2023) 软件作者： Klein，G.、Elphinstone，K.、Heiser，G.，Andronick，J.、Cock，D.、Derrin，P.、Elkaduwe，D.、Engelhardt，K.，Kolanski，R.、Norrish，M.、Sewell，T.、Tuch，H.、Winwood，S。 相关软件： Isabelle/HOL；辅酶q；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
针织物 52篇文献引用(2012–2023) 软件作者： 谢一辉等。 相关软件： R；ggplot2；rmarkdown… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
micrOMEGA公司 75篇文献引用（2002年至2022年） 软件作者： 杰奈维夫·贝朗格、法齐·布杰马、亚历山大·普霍夫和安德烈·塞梅诺夫 相关软件： MicrOMEGAs 2.0；CalcHEP；柔软… 主要字段： 偏微分方程（35-XX）；经典热力学，传热（80-XX）；量子理论（81-XX）…
投掷 59篇文献引用(2005–2022) 软件作者： 帕特丽斯·戈德弗里德；尼尔斯·克拉伦德；库什克森 相关软件： 可爱的；z3；KLEE… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
闪存 66份文件引用(2001–2023) 软件作者： B.Fryxell、K.Olson、P.Ricker、F.X.Timmes、M.Zingale、D.Q.Lamb、P.Macneice、R.Rosner、J.W.Rosner、J W.Truran、H.Tufo 相关软件： 帕拉梅什；HE-E1GODF；HLLE… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
基瓦-2 71篇文献引用(1987–2023) 软件作者： Amsden，A.A。；Orourke，P.J。；T.D.巴特勒。 相关软件： KIVA-4；ODEPACK；CHEMKIN… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
TAMC公司 72份文件引用(1998–2021) 软件作者： Giering，Ralf；托马斯·卡明斯基 相关软件： TAF；ADIFR；ADOL-C… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
可爱的 50篇文献引用(2003–2022) 软件作者： Koushik Sen；达科·马里诺夫；古尔·阿加 相关软件： 投掷；z3；KLEE… 主要字段： 数学逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
巨大的 57篇文献引用(2012–2023) 软件作者： 赵拓；刘，韩；凯瑟琳·罗德；约翰·拉弗蒂；拉里·瓦瑟曼 相关软件： 玻璃；R；图表… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
工具箱LS 59篇文献引用(2005–2023) 软件作者： 员米切尔 相关软件： 顶部.m；椭圆工具箱；ROC-HJ… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
微型ML 58篇文献引用(2000–2023) 软件作者： 罗文·戴维斯（Rowan Davies）；弗兰克·芬宁 相关软件： 辅酶q；毫升；佩斯卡… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
摄像机校准 22篇文献引用（2002年至2022年） 软件作者： 布盖J-Y 相关软件： 校准；SIFT；Matlab… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；流体力学（76-XX）…
吉隆坡机场 43篇文献引用(2010–2023) 软件作者： 克里斯蒂安·卡达尔、丹尼尔·邓巴、道森·恩格尔 相关软件： z3；可爱的；DART… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
齐古拉 50篇文献引用(2000–2024) 软件作者： Marsaglia，G。；曾伟伟。 相关软件： rnorexp；MersenneTwister；SFMT… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
CeTA公司 49篇文献引用(2009–2023) 软件作者： 雷内·蒂曼；克里斯蒂安·斯特纳格尔 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；交换代数（13-XX）…
米高梅2.0 在48份文件中引用(2007–2023) 软件作者： G.Bélanger、F.Boudjema、A.Pukhov、A.Semenov 相关软件： 微囊藻；柔软；计算HEP… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
MadGraph5_aMC@NLO 43篇文献引用(2014–2024) 软件作者： J.Alwall、R.Frederix、S.Frixione、V.Hirschi、F.Maltoni、O.Mattelaer、H.-S.Shao、T.Stelzer、P.Torrielli、M.Zaro 相关软件： 费恩规则；PYTHIA8；德尔菲斯… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
dcc公司 46篇文献引用(2012–2023) 软件作者： 乌韦·诺曼 相关软件： ADOL-C；锥体；旋转… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
AceGen公司 45篇文献引用(2001–2023) 软件作者： J·科尔克。 相关软件： AceFEM；Mathematica；短信… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
rnorrexp公司 35篇文献引用(1982–2023) 软件作者： George Marsaglia、Wai Wan Tsang 相关软件： 齐古拉；MersenneTwister；BLISS… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
短讯服务 38篇文献引用(1997–2023) 软件作者： 乔·科勒克 相关软件： Mathematica；AceFEM；AceGen… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
A至M3 18篇文献引用(2002–2021) 软件作者： 胡安·德·拉腊（Juan de Lara）；汉斯·旺格鲁 相关软件： AGG；VIATRA2；进度… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
图像处理工具箱 26篇文献引用(2004–2023) 软件作者： – 相关软件： Matlab；CUDA；小波工具箱… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
派克斯 23篇文献引用(2009–2018) 软件作者： 尼古拉·蒂尔曼（Nikolai Tillmann）、乔纳森·德哈勒克斯（Jonathan de Halleux） 相关软件： 投掷；可爱的；z3… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
FFC公司 31份文件引用(2005–2023) 软件作者： A.Logg、K.B.Ölgaard、M.E.Rognes、G.N.Wells 相关软件： FEniCS；道芬；菲亚特… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
疯狂事件 34份文件引用(2009–2023) 软件作者： 法比奥·马尔托尼（Fabio Maltoni）、蒂姆·斯特尔泽（Tim Stelzer） 相关软件： MadGraph；CompHep；PYTHIA8… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；量子理论（81-XX）…
Ninteger公司 33篇文献引用(2008–2024) 软件作者： D.Valerio、J.S.da Costa 相关软件： 克朗；Matlab；FOMCON… 主要字段： 实函数（26-XX）；常微分方程（34-XX）；数值分析（65-XX）…
旋风 30篇文献引用(2003–2022) 软件作者： 弗雷德里克·史密斯；Dan Grossman；格雷格·莫里塞特（Greg Morrisett）；卢克·霍诺夫；吉姆·特雷弗 相关软件： 哈斯克尔；CCured；Coq… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
GCG公司 30篇文献引用(2011–2023) 软件作者： 杰拉尔德·加姆拉思（Gerald Gamrath）；马可·吕贝克 相关软件： SCIP；MIPLIB公司；MIPLIB2003… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
LTSmin公司 25篇文献引用(2011–2023) 软件作者： 阿尔芬斯·拉阿尔曼（Alfons Laarman）；雅各布·范德波尔；迈克尔·韦伯；斯特凡·布洛姆 相关软件： 自旋蛋白；Uppaal；迪文尼… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
巴普科德 26篇文献引用(2010–2023) 软件作者： 弗朗索瓦·范德贝克；伊萨姆·塔希里 相关软件： DIP；VRP解决程序；SCIP… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
幸福 26篇文献引用(2015–2024) 软件作者： S.W.Walker公司 相关软件： Matlab；FEniCS；Matlab RBF工具箱… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
手指 26篇文献引用(1986–2021) 软件作者： Wang，Paul S。 相关软件： Mathematica；减少；马西玛… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
变身 23篇文献引用(2012–2023) 软件作者： 托尔斯滕·阿伦特；恩里科·比尔曼；斯特凡·尤拉克；克里斯蒂安·克劳斯（Christian Krause）；加布里埃尔·坦泽尔 相关软件： AGG；沟槽；GrGen… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
打开AD/F 23篇文献引用(2007–2022) 软件作者： Jean Utke；乌韦·诺曼；Mike Fagan；内森·塔伦特；米歇尔·米尔斯，斯特劳特；帕特里克·亨巴赫（Patrick Heimbach）；克里斯·希尔（Chris Hill）；卡尔·温施 相关软件： 锥体；ADIFR；ADOL-C… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
Pyclaw公司 21篇文献引用(2012–2023) 软件作者： 戴维·凯奇森（David I.Ketcheson）。；Kyle Mandli；阿隆·J·艾哈迈迪。；阿马尔·阿尔甘迪；德卢纳（De Luna）、曼努埃尔·奎扎达（Manuel Quezada）；马泰奥·帕萨尼（Matteo Parsani）；马修·克内普利（Matthew G.Knepley）。；马修·埃米特 相关软件： PyWENO；拉回；利爪… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
cuRAND公司 20篇文献引用(2011–2022) 软件作者： NVIDIA公司 相关软件： CUDA；MersenneTwister；测试U01… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
PAG公司 20篇文献引用（1996-2018） 软件作者： 弗洛里安·马丁 相关软件： NINJA公司；BLAS；MPI/MPICH… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）…
沃尔纳 21篇文献引用(2011–2022) 软件作者： Dutykh，Denys；拉斐尔·庞塞特；迪亚斯，弗雷德里克 相关软件： 科技部；HLLE；COMCOT… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
奶酪 20篇文献引用(1996–2021) 软件作者： Lütjens，H。；邦德森，A。；O.绍特。 相关软件： XTOR；ECOM；埃拉托… 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；数值分析（65-XX）…
性能确认4 19份文件引用(2019–2023) 软件作者： M.J.Kannwischer、J.Rijneveld、P.Schwabe、K.Stoffelen。 相关软件： GitHub；凯伯；西克… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
SCADE公司 14篇文献引用(2001–2019) 软件作者： 杰拉德·贝里；Esterel科技 相关软件： Simulink；卢斯特；酯类… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
旅游者 14篇文献引用(2014–2023) 软件作者： Wickham H、Cook D、Hofmann H、Buja A 相关软件： R；GGobi；knitr… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
杜芬伴随物 18篇文献引用(2020–2024) 软件作者： 米图什，S。；Funke，S。；J.多肯。 相关软件： FEniCS；GitHub；UFL… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
GENTRAN公司 19份文件引用（1986年-2000年） 软件作者： GATES，B.L.公司。 相关软件： 减少；手指；马西玛… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
科科斯 19份文件引用（2006年至2019年） 软件作者： 印度 相关软件： 科学实验室；科学实验室；FreeFem++… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MizarMode（米扎尔模式） 18篇文献引用（2006年至2019年） 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；MML；MoMM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
ADiGator公司 16篇文献引用(2013–2022) 软件作者： 马修·韦恩斯坦（Matthew J.Weinstein）；阿尼尔·拉奥 相关软件： Matlab；Ipopt；ADOL-C… 主要字段： 动力系统与遍历理论（37-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
数据包 17篇文献引用(2002–2019) 软件作者： 托尔斯玛，J.E。；P.I.巴顿 相关软件： DASSL；DASPK 3.0；SNOPT… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；变分法与最优控制；优化（49-XX）…
测谎仪 4份文件引用(2010–2018) 软件作者： 纽瑟姆，J.，卡普，B.，宋，D。 相关软件： 签名；哈马斯；Snort… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
自动偶极子 16篇文献引用(2010–2023) 软件作者： 长谷川，K。；莫赫，S。；尤尔，P。 相关软件： MadFKS；CutTools；黑帽… 主要字段： 数论（11-XX）；数值分析（65-XX）；量子理论（81-XX）…
GPU顶部 15篇文献引用(2011–2024) 软件作者： 施密特，斯蒂芬；沃尔克·舒尔茨 相关软件： 顶部.m；前88米；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
OpenSBLI公司 15篇文献引用(2018–2024) 软件作者： C.T.Jacobs，S.P.Jammy，N.D.Sandham；戴维·卢瑟（David J.Lusher）。 相关软件： HTR求解器；CUDA；PyFR… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
旗鱼 13份文件引用(2014–2022) 软件作者： Januszewski，M。；M.科斯特。 相关软件： CUDA；LUDWIG；帕拉博斯… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
西姆利布 14篇文献引用(2009–2023) 软件作者： Digonnet H、Silva L、Coupez T 相关软件： FELSOS；前列素；Gmsh… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
KOKO网格生成器 14篇文献引用(2015–2023) 软件作者： 乔纳斯·科科 相关软件： DistMesh；Matlab；LBIE… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
克兰克 12份文件引用(1990–2019) 软件作者： Sascha Husa、Ian Hinder、Christiane Lechner 相关软件： 爱因斯坦工具包；仙人掌；地毯… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；相对论与引力理论（83-XX）…
马斯科特 12份文件引用(1997–2022) 软件作者： 佩雷·桑乔（Pere P.Sancho）、卡洛斯·尤兹（Carlos Juiz）、拉蒙·普贾纳（Ramon Puigjaner） 相关软件： LSTRS；贝叶斯DA；翡翠… 主要字段： 数论（11-XX）；近似和展开（41-XX）；数值分析（65-XX）…
最小3P 14篇文献引用(2010–2022) 软件作者： Mayer，K.Ulrich；凯里·T·B·麦格理。 相关软件： MoMaS；植物；水文地球化学… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
模型預測控制工具箱 13份文件引用(2005–2022) 软件作者： 贝姆帕德A。 相关软件： Matlab；控制系统工具箱；混合工具箱… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
西格玛* 14篇文献引用(2013–2022) 软件作者： 马特科·博廷坎（Matko Botinčan）、多马戈伊·巴比奇（Domagoj Babić） 相关软件： 拉利布；libalf；z3… 主要字段： 计算机科学（68-XX）
索利娅 14篇文献引用(2010–2023) 软件作者： 西尔万·切维拉德；米奥拉乔尔德什；克里斯托夫·劳特 相关软件： 加帕；MPFR；Coq… 主要字段： 实函数（26-XX）；近似和展开（41-XX）；数值分析（65-XX）…
UCNS3D 14篇文献引用(2019–2023) 软件作者： Antoniadis，A.F。；Drikakis，D。；Farmakis，P.S。；Fu，L。；Kokkinakis，我。；Nogueira，X。；Silva，P.A。；斯科特，M。；Titarev，V。；特苏桑尼，P。 相关软件： 开放式FOAM；HE-E1GODF；HTR解算器… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）
芝诺牌手表 14篇文献引用(2012–2022) 软件作者： William Sonnex；索菲亚·德罗索波卢；苏珊·艾森巴赫 相关软件： HipSpec；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GALATICS公司 13份文件引用(2020–2024) 软件作者： G.Barthe、S.Belaíd、T.Espitau、P.-A.Fouque、M.Rossi、M.Tibouchi 相关软件： BLISS；事实真相；GitHub… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
GeneNetWeaver 在11份文件中引用(2013–2019) 软件作者： 沙夫特，T；马尔巴赫，D；弗洛里亚诺，D 相关软件： 阿拉伯国家石油公司；同步TReN；RegulonDB… 主要字段： 组合数学（05-XX）；常微分方程（34-XX）；统计学（62-XX）…
GRChombo公司 13份文件引用(2015–2023) 软件作者： 凯蒂·克劳夫；保罗·菲格拉斯；芬克尔，哈尔；马库斯·库内什；Lim，Eugene A。；Saran Tunyasuvunakool公司 相关软件： Chombo；爱因斯坦工具包；AHFinderDirect… 主要字段： 代数几何（14-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
熔岩 在11份文件中引用（2002年至2018年） 软件作者： Bjesse，P.、Claessen，K.、Sheeran，M.、Singh，S。 相关软件： 哈斯克尔；muFP；Coquet… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
水星DPM 12份文件引用(2016–2024) 软件作者： 温哈特，T。；Tunuguntla，D.R。；van Schrojenstein-Lantman，医学博士。；范德霍恩，A.J。；丹尼森，国际财务委员会。；Windows-Yule，C.R。；德容，A.C。；A.R.桑顿。 相关软件： Blaze-DEMGPU；PFC3D；CLUMP… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
BitBlaze公司 7份文件引用(2012–2023) 软件作者： D.X.Song、D.Brumley、H.Yin、J.Caballero、I.Jager、M.G.Kang、Z.Liang、J.Newsome、P.Poosankam、P.Saxena 相关软件： BAP；KLEE公司；Dytan… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CTADEL公司 12份文件引用(1998–2020) 软件作者： 范恩格伦，罗伯特·亚历山大 相关软件： Mathematica；手指；SciNapse… 主要字段： 总体主题；藏品（00-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
EnergyPlus公司 10篇文献引用(2014–2020) 软件作者： Crawley，D.B.、Lawrie，L.K.、Winkelmann，F.C.等人。 相关软件： 蟒蛇；Eppy；原型… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
法索 12份文件引用(1979–2003) 软件作者： 杰拉尔德·科恩。 相关软件： BOSOR5；VICONOPT公司；熊猫 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；运筹学、数学规划（90-XX）
FEFLO公司 12份文件引用(2003–2022) 软件作者： 南方研究公司。 相关软件： EdgePack；FParser；交易.ii… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
伦敦银行同业拆借利率 10篇文献引用(2017–2021) 软件作者： A.Heinecke、H.Pabst、G.Henry 相关软件： METIS公司；CUDA；OCCA… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
孢子虫 在11份文件中引用(2011–2020) 软件作者： Lennart C.L.Kats；埃尔科·维瑟 相关软件： Stratego；JastAdd；SugarJ… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
冲刺 9份文件引用(2007–2010) 软件作者： 约翰·考克斯、克里斯托夫·德诺夫、巴特·范霍夫和理查德·斯塔尔 相关软件： – 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
通用燃料电池 12份文件引用(2013–2023) 软件作者： 马丁·桑德夫·阿尔诺；安德斯·洛格；肯特·安德烈·马尔达尔 相关软件： FEniCS；UFL；道芬… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
BED工具 7份文件引用(2012–2019) 软件作者： 昆兰AR，霍尔IM 相关软件： R；肥皂；IGV… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
FEMorph公司 在11份文件中引用(2018–2022) 软件作者： 斯蒂芬·施密特 相关软件： 道芬；FEniCS；Firedrake… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
INGENIAS公司 8份文件引用(2000–2010) 软件作者： Juan Pav’on；豪尔赫·戈梅斯·桑兹 相关软件： APMC；湿润+；MAS-SOC… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
JIDT公司 6篇文献引用(2018–2021) 软件作者： 约瑟夫·利泽尔、伊佩克·泽德米尔、佩德罗·梅迪亚诺 相关软件： TRENTOOL公司；蟒蛇；MuTE… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
PathCrawler（路径爬行器） 5份文件引用(2008–2021) 软件作者： Nicky Williams、Bruno Marre、Patricia Mouy、Muriel Roger 相关软件： 可爱的；投掷；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PFNRN公司 10篇文献引用(1999–2012) 软件作者： E.米扬戈斯。 相关软件： MINOS；DIMACS；AMPL… 主要字段： 变分法与最优控制；优化（49-XX）；运筹学、数学规划（90-XX）