ABAQUS公司 1729年文献引用(1985–2024) 软件作者： Simulia（达索系统）；ABAQUS公司 相关软件： ABAQUS/标准；UMAT；Matlab… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
稀疏矩阵 840篇文献引用(1997–2024) 软件作者： 蒂莫西·戴维斯（Timothy A Davis）；胡一凡 相关软件： mctoolbox；LAPACK；Matlab… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
COMSOL公司 689份文件引用(2000–2024) 软件作者： COMSOL公司。 相关软件： Matlab；阿巴夸斯；ANSYS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
系统标识工具箱 189份文件引用(1990–2023) 软件作者： Thomas B Schön；艾德里安·威尔斯；Brett Ninness；伦纳特·荣格 相关软件： Matlab；船长；Wiener-Hammerstein基准… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Maple的全局优化工具箱 154份文件引用(1997–2023) 软件作者： Janos Pinter；Maplesoft软件 相关软件： 地方政府官员；算法829；基因组学… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DYNA3D公司 106篇文献引用(1982–2023) 软件作者： R.G.Whirley，B.E.Engelmann 相关软件： LS-DYNA；阿巴夸斯；PRONTO3D… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
ParEGO公司 66份文件中引用(2005–2023) 软件作者： 约书亚·诺尔斯；埃文·休斯。 相关软件： EGO；MOEA/D；SPEA2… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
利亚帕克 72份文件引用(1998–2024) 软件作者： 蒂洛·彭兹尔 相关软件： Matlab；算法432；稀疏矩阵… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
印章 39篇文献引用(1998–2023) 软件作者： 科普曼，S.J。；Harvey，A.C。；Doornik，J.A。；谢泼德，A。 相关软件： SsfPack；公牛；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
分享 38篇文献引用(1992–2024) 软件作者： 罗宾·萨纳（Robin Sahner）；Trivedi，Kishor S。；安东尼奥·普利亚菲托 相关软件： 莫比乌斯；SPNP；智能_… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TOMP公司 39篇文献引用（1994年至2024年） 软件作者： 卡夫，D。 相关软件： NLopt；DFVLR-SQP；R、 … 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
ITSM2000标准 36篇文献引用(2016–2023) 软件作者： 彼得·布罗克韦尔（Peter J.Brockwell）。；理查德·戴维斯（Richard A.Davis）。 相关软件： 其mr；astsa；tscount… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
MCK公司 34份文件引用(2004–2023) 软件作者： 罗恩·范德梅登；彼得·甘米（Peter Gammie）；Kai Baukus；杰里米·李；程洛；黄晓伟 相关软件： MCMAS；VerICS；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
希特科夫斯基 33篇文献引用(1993–2022) 软件作者： 克劳斯·希特科夫斯基 相关软件： Matlab；MINLPLib；NL2SOL… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
ValEncIA-IVP公司 31份文件引用(2008–2023) 软件作者： 安德烈亚斯·劳赫（Andreas Rauh）；Eberhard P.Hofer；叶卡捷琳娜·奥尔 相关软件： ValEncIA；舒适的；FADBAD++… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
彪马 31份文件引用（2003年至2020年） 软件作者： 弗劳恩霍夫SCAI；马克·亚历山大·施韦策（Marc Alexander Schweitzer）、阿尔伯特·齐根哈格尔（Albert Ziegenhagel） 相关软件： XFEM；mctoolbox；Matlab… 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；数值分析（65-XX）…
伙计 26篇文献引用(1999–2023) 软件作者： 乔恩·林德·尼尔森 相关软件： CUDD；西尔文；PolyBoRi… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
ATL公司 12份文件引用（2008年至2021年） 软件作者： 弗莱德里克·尤厄（Frédéric Jouault）；弗雷迪·阿利莱尔；让·贝齐文；伊万·库特夫 相关软件： 霍尔效应；UML2合金；AGG… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
富贾巴语 15篇文献引用(2001–2022) 软件作者： Nickel，U.、Niere，J.、Zündorf，A。 相关软件： 进度；GrGen；AGG… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
Specware（特殊软件） 25篇文献引用(1998–2019) 软件作者： Srinivas，Y.，Jullig，R。；瓦尔迪格，R。 相关软件： PVS；Nuprl；CASL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
MPSalsa公司 24篇文献引用(1997–2010) 软件作者： 桑迪亚国家实验室 相关软件： 阿兹特克；阿兹特克OO；ARPACK… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
CARBayes公司 14篇文献引用(2018–2023) 软件作者： 邓肯·李 相关软件： R；spBayes；R-INLA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；天文学和天体物理学（85-XX）…
电子电话 18篇文献引用（2003年至2019年） 软件作者： M Tomita、K Hashimoto、K Takahashi、T S Shimizu、Y Matsuzaki、F Miyoshi、K Saito S Tanida、K Yugi、J C Venter；C A和记黄埔 相关软件： GEPASI；KEGG；虚拟单元格… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
美国心脏协会 20篇文献引用(2022–2024) 软件作者： 赵卫国；王丽英；塞耶达利·米尔贾利利 相关软件： WOA；GWO；GSA… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
伊莎贝尔/UTP 20篇文献引用(2015–2024) 软件作者： 西蒙·福斯特（Simon Foster）；Zeyda，Frank；吉姆·伍德科克 相关软件： 马戏团；Isabelle/HOL；Z、 … 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；系统论；控制（93-XX）
瓦伦西亚 19份文件引用(2008–2020) 软件作者： A.劳赫；霍弗，E.P。；E.奥尔。 相关软件： ValEncIA-IVP；舒适的；FADBAD++… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
VAMUCH公司 18篇文献引用(2007–2023) 软件作者： 唐、田；于文斌 相关软件： ANSYS；Gmsh；获取DP… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
阿斯卡隆 6篇文献引用(2002–2012) 软件作者： 托马斯·法林格；亚历山德鲁·朱格鲁（Alexandru Jugravu）；萨布里·普拉纳；Radu Prodan；克洛维斯·塞拉吉奥托；洪林忠 相关软件： Java CoG工具包；SCALEA公司；网格流… 主要字段： 计算机科学（68-XX）
HTK公司 8份文件引用(1997–2007) 软件作者： 杨，S.J；剑桥大学工程系（CUED） 相关软件： 普拉特；拉斯塔马特；狮身人面像II… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MAiNGO组织 15篇文献引用（2019年-2023年） 软件作者： Bongartz，D.，Najman，J.，Sass，S.，Mitsos，A。 相关软件： libMC；安提戈内；NLopt… 主要字段： 变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
DLR衬垫 14篇文献引用(2011–2023) 软件作者： 拉尔夫·哈特曼（Ralf Hartmann）；霍尔德，约阿希姆；托拜厄斯·莱希特；弗洛里安·普里尔 相关软件： Spalart-Allmaras；PETSc；梅蒂斯… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
隐马尔可夫模型 12份文件引用（2004年至2020年） 软件作者： K墨菲 相关软件： R；Matlab；大脑连接工具箱… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
HyperWorks公司 13份文件引用(2006–2021) 软件作者： Altair工程公司。 相关软件： 顶部.m；ESOFRAME公司；ABAQUS… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
LMGC90型 14篇文献引用(2005–2023) 软件作者： Dubois，F。；Jean，M。；雷诺夫，M。；Mozul，R。；马丁。；M.巴格内利斯。 相关软件： SIMEM3雷诺；Chrono；FEAPpv… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；可变形固体力学（74-XX）…
NeuralUQ公司 13份文件引用(2022–2024) 软件作者： Psaros，Apostolos F。；孟旭辉；邹宗仁；郭玲；乔治·埃姆·卡尼亚达基斯 相关软件： DeepONet；DeepXDE；亚当… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
海浪3D 14篇文献引用(2007–2021) 软件作者： 阿兰·彼得·恩格西格·卡鲁普 相关软件： HOS-ocean；CUDA；推力… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
Y-Geo公司 14篇文献引用（2015年至2022年） 软件作者： 俄克拉荷马州马哈巴迪；Lisjak，A；蒙吉扎，A；格拉塞利，G 相关软件： UDEC；FEAPpv；MultiFracs… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；可变形固体力学（74-XX）…
梅赛格三世 在11份文件中引用(2000–2020) 软件作者： Messner，S.、Strubegger，M。 相关软件： 马卡尔；CPLEX；OSeMOSYS… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
FaIMS公司 12份文件引用(2012–2023) 软件作者： 圣埃芬尼Chaillat；乔治·比罗斯 相关软件： LSQR；PyTorch；凯利… 主要字段： 总体主题；藏品（00-XX）；偏微分方程（35-XX）；积分方程（45-XX）…
宁戈 10篇文献引用（2015年至2022年） 软件作者： T.Bekolay、J.Bergstra、E.Hunsberger、T.DeWolf、T.C.Stewart、D.Rasmussen、X.Choo、A.R.Voelker、C.Eliasmith 相关软件： 派恩；TensorFlow；Python… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
P2网格 12份文件引用(2000–2016) 软件作者： Enrico Bertolazzi；詹马科·曼齐尼 相关软件： 三角形；Blitz++库；TUNAM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿莱3d 在11份文件中引用(2005–2023) 软件作者： Noble C、Anderson A、Barton N、Bramwell J、Capps A、Chang M、Chou J、Dawson D、Diana E、Dunn 相关软件： PRONTO3D；TensorFlow；拼音… 主要字段： 统计学（62-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
梦想 在11份文件中引用(2018–2023) 软件作者： Vrugt，法学硕士 相关软件： 坚果；辉光；GitHub… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
FMI（FMI） 在11份文件中引用(2014–2022) 软件作者： 马丁·阿诺德；克里斯托夫·克劳；汤姆·席尔茨 相关软件： Modelica；CHOPtrey公司；日晷… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
国际会计准则 在11份文件中引用(2000–2023) 软件作者： 贾努斯·格拉纳特（Janusz Granat）；马雷克·马科斯基 相关软件： MESSAGEix；TROTS；SPEA2… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
酒馆 10篇文献引用(2020–2023) 软件作者： 彭，C。；王，S。；Wu，W。；Yu，H.S。；王，C。；Chen，J.Y。 相关软件： 对偶SPhysics；CUDA；CAVEAT… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
MCT公司 9份文件引用(2002–2023) 软件作者： 杰伊·拉尔森、罗伯特·雅各布、珠穆朗玛峰翁 相关软件： 预CICE；MpCCI；HE-egodf… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
OpenDX（打开DX） 在11份文件中引用(2002–2016) 软件作者： 大卫·汤普森、杰夫·布劳恩、雷·福特 相关软件： FEniCS；PETSc；VTK… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
TMATROM公司 10篇文献引用(2016–2024) 软件作者： M.Ganesh；S.C.霍金斯 相关软件： MieSolver公司；MPSpack；智能… 主要字段： 偏微分方程（35-XX）；积分方程（45-XX）；统计学（62-XX）…
ZAERO公司 10篇文献引用(2005–2023) 软件作者： ZONA科技公司。 相关软件： FreeFem++；比安卡；ARPACK… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
DICTRA公司 8份文件引用(2005–2019) 软件作者： 安妮卡·博根斯塔姆；拉尔斯·霍格伦德；约翰·奥格伦；安德斯·恩格斯特罗姆（Anders Engström）；JO Andersson；海兰德，T；施，P；桑德曼，B 相关软件： PANDAT公司；Matplotlib；数字标识… 主要字段： 统计学（62-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
欧拉努斯 9份文件引用(1993–2014) 软件作者： 亚瑟·里兹；彼得·埃利亚松；林布拉德（Lindblad）、英格玛（Ingemar）；查尔斯·赫希；克里斯·拉科尔（Chris Lacor）；尤金·豪泽 相关软件： 飞马座5号；韦塞林 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
消防泡沫 7份文件引用（2009年至2022年） 软件作者： 特鲁夫，阿诺；王毅 相关软件： OpenFOAM；火灾动力学模拟器；多孔气化泡沫… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
PaGMO公司 6篇文献引用(2014–2023) 软件作者： 弗朗西斯科·比斯卡尼（Francesco Biscani）、达里奥·伊佐（Dario Izzo）、奇·洪扬（Chit Hong Yam） 相关软件： PaGMO/PyGMO；SciPy；Python… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
潘达波（Pandapower） 在0个文档中引用 软件作者： Leon Thurner、Alexander Scheidler、Florian Schäfer、Jan Hendrik Menke、Julian Dollichon、Friederike Meier、Steffen Meinecke、Martin Braun 相关软件： 皮普萨；MATPOWER公司；Python… 主要字段： ——
PINNeik公司 9份文件引用(2022–2023) 软件作者： 乌迈尔·本·瓦希德（Umair bin Waheed）、伊珊·哈吉哈特（Ehsan Haghiat）、塔里克·阿尔哈利法（Tariq Alkhalifah）、赵松（Chao Song）、齐浩（Qi Hao） 相关软件： NSF网络；亚当；EikoNet… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Abaqus2实验室 7份文件引用(2018–2021) 软件作者： 乔治·帕帕扎菲罗普洛斯、米格尔·穆尼兹·卡文特、埃米利奥·马丁内斯·帕涅达 相关软件： 阿巴夸斯；Matlab；阶段字段UEL… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
克梅内特 7份文件引用(2018–2020) 软件作者： Simon Mak、C.F.Jeff Wu 相关软件： 稀疏；R；hierNet… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
洛利莫特 7份文件引用(2001–2023) 软件作者： Nelles O、Fink A、Isermann R 相关软件： github；梯度CAM；形状… 主要字段： 计算机科学（68-XX）；经典热力学，传热（80-XX）；运筹学，数学规划（90-XX）…
MUSCOP公司 8份文件引用(2001–2023) 软件作者： 安德烈亚斯·波茨赫卡 相关软件： 纽顿图书馆；ADOL-C；区块SQP… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；整体分析，流形分析（58-XX）…
parest_dae 8份文件引用(2014–2022) 软件作者： 卡西安·潘提亚（Casian Pantea）、安库尔·古普塔（Ankur Gupta）、詹姆斯·罗林斯（James B.Rawlings）、戈奥盖·克拉西恩（Gheorghe Craciun） 相关软件： 雏菊；西安；奇异… 主要字段： 交换代数（13-XX）；常微分方程（34-XX）；代数拓扑（55-XX）…
simpA公司 5份文件引用(2002–2012) 软件作者： 亚历山德罗·里奇；米尔科·维罗利；朱利奥·皮安卡斯特利 相关软件： 羽量级Java；CArtAgO；重新规范… 主要字段： 计算机科学（68-XX）
真相/SLC 4份文件引用(2001–2007) 软件作者： Martin Leucker；诺尔，托马斯 相关软件： mCRL；CADP；PlayGame游戏 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
汽车贝叶斯特 5份文件引用(2021–2023) 软件作者： Duncan Lee、Alastair Rushworth、Gary Napier 相关软件： R；CARBayes；spBayes… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
jCOLIBRI公司 3份文件引用(2005–2014) 软件作者： Juan JoséBello-Tomás、Pedro A.González-Calero、Belén Díaz-Agudo 相关软件： 西拉默；BacSim；神经元… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
深超（Deep Hyper） 6篇文献引用(2019–2022) 软件作者： P.Balaprakash、M.Salim、T.Uram、V.Vishwanath、S.Wild 相关软件： 亚当；PyTorch；Scikit… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
饮食 4份文件引用(2010) 软件作者： Caron，E。；F.德斯普雷兹。 相关软件： Ninf-G/MPI；网格求解；NetSolve… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
图RNN 6篇文献引用(2020–2023) 软件作者： 尤嘉轩、英力士、任翔、威廉·汉密尔顿、朱尔·莱斯科维奇 相关软件： DeepWalk；node2vec；NetGAN… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
MatMorembs公司 6篇文献引用(2006–2016) 软件作者： 费尔，约格；菲利普·霍尔兹沃思（Philip Holzwarth）；彼得·埃伯哈德（Peter Eberhard）；费舍尔，M。；M·莱纳 相关软件： JDQZ；罗德斯；JDQR… 主要字段： 粒子和系统力学（70-XX）；可变形固体力学（74-XX）；系统论；控制（93-XX）
模型转换工具 6篇文献引用(1999–2020) 软件作者： 彼得·加思罗普 相关软件： MTT；Matlab；科学实验室… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；数值分析（65-XX）…
PAROC公司 6篇文献引用(2015–2021) 软件作者： 皮斯蒂科普洛斯，E.N。；Diangelakis，N.A。；Oberdieck，R。；Papathanasiou，M.M。；纳斯库，I。；M·孙。 相关软件： POP；安提戈内；MPT… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Polynome公司 6篇文献引用（2010年至2017年） 软件作者： 迪米特洛娃，埃琳娜；加西亚·普恩特（García-Puente），路易斯·戴维（Luis David）；弗兰齐斯卡·辛克尔曼；阿卜杜勒·贾拉。；莱因哈德·劳本巴赫；布兰迪林·斯蒂格勒；迈克尔·斯蒂尔曼；维拉·利科纳（Vera-Licona，Paola） 相关软件： ADAM；麦考利2号；SageMath… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ProMoT项目 5份文件引用(2000–2021) 软件作者： F Tránkle、M Zeitz、M Ginkel；罗兰·沃施勒（Roland Waschler）；安吉莱斯·帕拉西奥斯（Angeles-Palacios），奥登（Odon）；金克尔，马丁；阿希姆·基恩勒 相关软件： 塔巴斯科；lpSolve；日晷… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；偏微分方程（35-XX）…
张量差值等式 5份文件引用(2022–2023) 软件作者： 列维·D·麦克伦尼、穆卢盖塔·A·海尔、尤利塞斯·布拉加·内托 相关软件： NSF网络；PhyGeoNet；L-BFGS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿多拉 3份文件引用(2001–2010) 软件作者： 马丁·格林茨（Martin Glinz）；斯特凡·伯纳（Stefan Berner）；斯特凡·乔斯 相关软件： DiaGen；AToM3；ASTRAL公司 主要字段： 计算机科学（68-XX）
格拉斯 4份文件引用(1996–2020) 软件作者： Kiesel，N.、Schürr，A.、Westfechtel，B。 相关软件： SPARQL；进度；REforDI… 主要字段： 计算机科学（68-XX）
莱姆 4份文件引用(2011–2021) 软件作者： 多米尼克·P·穆利根。；斯科特·欧文斯；凯瑟琳·格雷（Kathryn E.Gray）。；汤姆·里奇；彼得·休厄尔 相关软件： Isabelle/HOL；Coq；ACL2… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
利比亚 5份文件引用(2016–2018) 软件作者： 彼得·米尔斯 相关软件： PRMLT；SPOT；iACP… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；统计学（62-XX）…
LogiKEy公司 5份文件引用(2020–2022) 软件作者： Christoph Benzmüller、Xavier Parent、Leendert van der Torre 相关软件： Isabelle/HOL；Nitpick公司；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MULTIBAT公司 5份文件引用（2019年-2023年） 软件作者： 朱利安·费诺尔、西蒙·海因、斯蒂芬·雷夫、塞巴斯蒂安·施密特、丹尼尔·韦斯特霍夫、乔森·扎什、奥列格·伊利耶夫、阿努尔夫·拉茨、马里奥·奥尔伯格、沃尔克·施密特 相关软件： 红色套件；佩特利昂；hapod… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）…
神秘主义者 4份文件引用(2014–2020) 软件作者： M.M.McKerns、L.Strand、T.Sullivan、A.Fang、M.A.G.Aivazis 相关软件： 达科塔；蟒蛇；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
20卡 5份文件引用(2001–2014) 软件作者： 20sim.com网站 相关软件： 符号2000；Dymola；机器人… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；流体力学（76-XX）…
沙发2.0 4份文件引用(2012–2017) 软件作者： 布雷什，T。；Hnetynka，P。；普拉舍尔，F。 相关软件： D-Finder；ArchJava；AmbientTalk… 主要字段： 计算机科学（68-XX）
修补器电池 2份文件引用(2014–2015) 软件作者： Deepak Chandran、Frank T.Bergmann、Herbert M.Sauro 相关软件： SynBioSS；塔巴斯科；lpSolve… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
特雷穆里 5份文件引用（2019年-2023年） 软件作者： 拉戈马西诺，S。；佩纳，A。；加拉斯科，A。；卡特里，S。， 相关软件： minpack；Mathematica；有限元分析 主要字段： 可变形固体力学（74-XX）；运筹学、数学规划（90-XX）
活动子空间 3份文件引用(2015–2021) 软件作者： 保罗·君士坦丁（Paul G.Constantine）。；霍华德·R。；Glaws，A。；灰色，Z。；迪亚兹，P。；弗莱彻，L。 相关软件： 蟒蛇；darch；亚当… 主要字段： 统计学（62-XX）；数值分析（65-XX）
CAD修复 3份文件引用(2008–2015) 软件作者： 国际技术集团公司 相关软件： CGAL；QuadCover；堆… 主要字段： 近似和展开（41-XX）；数值分析（65-XX）；计算机科学（68-XX）…
covid19.分析 2份文件引用(2022–2023) 软件作者： 阿米特·桑德尔（Amit Sandhel），马塞洛·彭斯（Marcelo Ponce） 相关软件： R；github；GeoMLA… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
DAFoam公司 4份文件引用(2022) 软件作者： 何，P。；马德尔，C.A。；马丁斯，J.R.R.A。；马吉，K.J。 相关软件： OpenFOAM；ADflow；pyOptSparse… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；流体力学（76-XX）
DEECO公司 4份文件引用(2014–2019) 软件作者： Bures，T.、Gerostathopoulos，I.、Hnetynka，P.、Keznikl，J.、Kit，M.、Plasil，F。 相关软件： 海伦娜；SCEL；重新规范… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
深度调频 4份文件引用(2021–2022) 软件作者： 郭慧峰、汤瑞明、叶云明、李振国、何秀强 相关软件： github；BERT；PRMLT… 主要字段： 几何（51-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
燃气轮机实验室 3份文件引用(2002–2009) 软件作者： 霍斯蒂斯，E.N。；Catlin，A.C.公司。；Tsompanopoulou，P。；戈特弗里德，D。；Balakrishnan，G。；苏凯。；赖斯，J.R。 相关软件： 威卡；ELLPACK；TrueGrid… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
兰多 2份文件引用(2022–2023) 软件作者： 彼得·巴杜（Peter J.Baddoo）。；本杰明·赫尔曼（Benjamin Herrmann）；Beverley J.McKeon。；史蒂文·布鲁顿。 相关软件： 切布冯；DeepONet；Matlab… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
MOSES公司 4份文件引用(1998–2014) 软件作者： Maffezzoni，C。；吉雷利，R。 相关软件： 奥莫拉；Dymola；模型… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…