Matlab公司 13834年文献引用(1982–2025) 软件作者： MathWorks公司 相关软件： Simulink；LMI工具箱；枫树… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
Uppaal公司 568份文件引用(1990–2023) 软件作者： 瑞典乌普萨拉大学；丹麦奥尔堡大学 相关软件： 克罗诺斯；高科技；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
UMDES公司 442份文件引用(1996–2023) 软件作者： 克里斯托斯·卡桑德拉斯（Christos G.Cassandras）；斯特凡·拉福琼 相关软件： Supremica；libFAUDES；TCT… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MPT公司 255篇文献引用(2004–2023) 软件作者： M.Kvasnica；P.Grieder；M.Baoti；苏黎世联邦理工学院；弗朗西斯科·博雷利 相关软件： YALMIP；CPLEX；Matlab… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PLTMG公司 218篇文献引用(1990–2023) 软件作者： Randolph E.Bank；加利福尼亚大学 相关软件： 无人值守地面；PETSc；交易.ii… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
科学实验室 173篇文献引用(1999–2023) 软件作者： Scilab企业；里卡多·法布里 相关软件： Matlab；倍频程；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
神经网络工具箱 131篇文献引用(1995–2021) 软件作者： H.B.Demuth、M.Beale、M.T.Hagan。 相关软件： Matlab；UCI-ml；优化工具箱… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
控制系统工具箱 166篇文献引用(1995–2024) 软件作者： MathWorks公司；格雷斯，A。；Laub，A.J。；Little，J.N。；汤普森，C.M。 相关软件： Matlab；LMI工具箱；鲁棒控制工具箱… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；变分法与最优控制；优化（49-XX）…
酯类 137篇文献引用(1985–2023) 软件作者： 杰拉德·贝瑞 相关软件： 卢斯特；信号；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
鲁棒控制工具箱 160篇文献引用(1989–2024) 软件作者： 数学工程；Balas G、Chiang R、Packard A、Safonov M 相关软件： Matlab；控制系统工具箱；Mu分析与合成工具箱… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
Modelica公司 120篇文献引用(2000–2024) 软件作者： 耶布拉，L.J。；贝伦格尔，M。；多尔米多，S。；E.扎扎。 相关软件： Dymola；Matlab；OpenModelica… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
光泽 104篇文献引用(1992–2023) 软件作者： 卡斯皮，P。；Pilaud，D。；Halbwachs，N。；普拉斯，J.A。 相关软件： 酯类；信号；Simulink… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
QDES公司 109篇文献引用(1991–2023) 软件作者： 斯蒂芬·博伊德（Stephen P.Boyd）。；克雷格·H·巴拉特。 相关软件： LMI工具箱；塞杜米；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
Mu分析与合成工具箱 109篇文献引用(1993–2021) 软件作者： 数学工程；加里·巴拉斯（Gary J.Balas）、约翰·多伊尔（John C.Doyle）、基斯·格洛弗（Keith Glover）、安迪·帕卡德（Andy Packard）、罗伊·史密斯（Roy Smith） 相关软件： 鲁棒控制工具箱；LMI工具箱；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；变形固体力学（74-XX）…
ELAN公司 106篇文献引用(1996–2020) 软件作者： 彼得·博罗万斯基（Peter Borovansky）、埃里克·德普拉涅（Eric Deplagne）、克劳德·基什内尔（Claude Kirchner）、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳（Pierre-Etienne Moreau）、克里斯托夫·林盖森（Christophe Ringeissen）、玛丽安·维特 相关软件： 莫德；OBJ咖啡馆；OBJ3… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
GPOPS公司 103篇文献引用(2010–2023) 软件作者： Rao AV、Benson DA、Huntington GT、Francolin C、Darby CL、Patterson MA 相关软件： Ipopt；Matlab；SNOPT… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
SLICOT公司 91份文件引用(1999–2023) 软件作者： 彼得·本纳（Peter Benner）；沃尔克·梅尔曼；西玛，瓦西里；范·赫菲尔（Sabine Van Huffel）；安德拉斯·瓦尔加 相关软件： LAPACK；Matlab；mctoolbox… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PostgreSQL（PostgreSQL） 55份文件引用(2000–2023) 软件作者： – 相关软件： 神谕；MySQL；MS SQL Server… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
G工具箱 68篇文献引用(1999–2021) 软件作者： C.Houck、J.Joines、M.Kay、A.Chipperfield、P.Flemming、H.Pohlheim、C.Fonseca 相关软件： Matlab；基因组学；遗传算法与直接搜索工具箱… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；变形固体力学（74-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）…
利亚帕克 72份文件引用(1998–2024) 软件作者： 蒂洛·彭兹尔 相关软件： Matlab；算法432；稀疏矩阵… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
RICPAC公司 67篇文献引用(1987–2023) 软件作者： W.F.Arnold；艾伦·J·劳布 相关软件： 算法432；Matlab；LAPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；算子理论（47-XX）；变分法与最优控制；优化（49-XX）…
SDPLIB公司 67篇文献引用(1999–2023) 软件作者： 布莱恩·博彻斯 相关软件： SDPT3；塞杜米；SDPA… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
虚拟仪器 54篇文献引用(1999–2023) 软件作者： 国家仪器公司 相关软件： Matlab；Simulink；Modelica… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
pde2路径 61篇文献引用(2014–2024) 软件作者： H.Uecker、D.Wetzel、J.Rademacher 相关软件： 自动；MATCONT；Matlab… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
汪汪叫 26篇文献引用（2004年至2021年） 软件作者： Wil M.P.范德阿尔斯特。 相关软件： 塔维纳；沃夫兰；WSAT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
波科普 58篇文献引用(2013–2023) 软件作者： F.J.Bonnans、P.Martinon、V.Grélard、。 相关软件： Ipopt；哈姆帕斯；SOCS… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
凯伊迈拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
亚当斯 52篇文献引用(2005–2022) 软件作者： 美商麦格尼轩 相关软件： Matlab；ANSYS；纳斯特兰… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
出口4 54篇文献引用(1997–2023) 软件作者： L.Gr.Ixaru、H.De Meyer、G.Vanden Berghe、M.Van Daele 相关软件： 乳胶；枫树；NEW9p… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
OSQP公司 49篇文献引用(2018–2024) 软件作者： Bartolomeo Stellato、Goran Banjac、Paul Goulart、Alberto Bempoad、Stephen Boyd 相关软件： 古罗比；莫塞克；qpOASES… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
K校准仪 52篇文献引用(2007–2024) 软件作者： 罗什、格里戈尔等人 相关软件： 莫德；K工具；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
FRIL公司 38篇文献引用(1987–2022) 软件作者： 鲍德温，J.F。；马丁·T·P。；B.W.皮尔斯沃思。 相关软件： Likelog；FPROLOG；XPath… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
MuJoCo公司 38篇文献引用(2016–2024) 软件作者： E.Todorov、T.Erez、Y.Tassa 相关软件： OpenAI健身房；亚当；GitHub… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；运筹学，数学规划（90-XX）…
SMRSOFT公司 44篇文献引用（2011年-2023年） 软件作者： 切西，G。 相关软件： 粪便；塞杜米；YALMIP… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
Ore模块 44篇文献引用(2004–2023) 软件作者： Chyzak，Frédéric；阿尔班Quadrat；丹尼尔·罗伯茨 相关软件： 单数；复数；矿石形态… 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；数值分析（65-XX）…
TrueTime（真实时间） 40篇文献引用(2005–2021) 软件作者： 安东·塞文、丹·亨里克森、博·林肯、约翰·埃克、卡尔·埃里克·奥泽恩 相关软件： Matlab；Simulink；托舍… 主要字段： 变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
Uppaal2k公司 38篇文献引用(2000–2017) 软件作者： 金·拉森（Kim G.Larsen）、王毅（Wang Yi）、保罗·佩特森（Paul Pettersson）、亚历山大·戴维（Alexandre David）、布莱恩·尼尔森（Brian Nielsen）、阿恩·斯科（Arne Skou）、约翰·哈坎森（John Hákansson）、雅各布·伊勒姆·拉斯穆森（Jacob Illum Rasmussen） 相关软件： Uppaal；克罗诺斯；高科技… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
船长 39篇文献引用(2006–2023) 软件作者： 师彼得·扬 相关软件： Matlab；传染病；系统标识工具箱… 主要字段： 统计学（62-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
HYSDEL公司 41篇文献引用(2003–2023) 软件作者： 法比奥·达尼洛·托里西（Fabio Danilo Torrisi）、阿尔贝托·本普拉德（Alberto Bempoad）、乔埃勒·贝尔蒂尼（Giole Bertini）、彼得·赫塔奇（Peter Hertach）、多米尼克·约斯特（Dominic Jost）、多 相关软件： 混合工具箱；CPLEX；高科技… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DDDAS系统 30篇文献引用(2008–2023) 软件作者： 弗雷德里卡·达雷马 相关软件： EnKF；亚当；Exshall… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MR和LTV合成工具 37篇文献引用(1999–2023) 软件作者： 卡罗尔·皮里；盖尔·杜勒鲁（Geir E.Dullerud）。 相关软件： YALMIP；塞杜米；LMI工具箱… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；运筹学，数学规划（90-XX）…
神童 在24份文件中引用(1992–2019) 软件作者： Carbonell，J.、Blythe，J.，Etzioni，O.、Gil，Y.、Joseph，R.、Kahn，D.、Knoblock，C.、Minton，S.、Pérez，M.A.、Reilly，S.，Veloso，M.、Wang，X。 相关软件： UCPOP；图形平面图；KQML… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
GEPASI公司 引用于29份文件(1996–2016) 软件作者： P.门德斯 相关软件： 电子电话；虚拟细胞；SCAMP… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
伊卢包 35篇文献引用(2005–2023) 软件作者： M.Bollhöfer、Y.Saad、O.Schenk 相关软件： 稀疏矩阵；帕迪索；ILUT… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GELDA公司 33篇文献引用(1996–2018) 软件作者： 彼得·昆克尔（Peter Kunkel）、沃尔克·梅尔曼（Volker Mehrmann）、沃纳·拉思（Werner Rath）和约格·威克特（Jörg Weickert） 相关软件： GENDA公司；罗德斯；Modelica… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
PMIRKDC公司 32篇文献引用(1996–2020) 软件作者： 缪尔，P.H。；潘塞，R.N。；K.R.杰克逊。 相关软件： MIRKDC；COLSYS公司；科勒… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
斯科特 31份文件引用(2016–2023) 软件作者： 马蒂亚斯·伦格；马吉德·扎马尼 相关软件： 佩索阿；科西马；p面… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
INTBIS公司 31份文件引用（1990年至2018年） 软件作者： Kearfott，R.Baker；曼努埃尔三世诺沃亚 相关软件： INTLIB；IbexOpt公司；数值… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
混合工具箱 30篇文献引用(2004–2023) 软件作者： 贝姆帕德A。 相关软件： HYSDEL公司；MPT；CPLEX… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
LMITOOL公司 30篇文献引用(1996–2021) 软件作者： El Ghaoui；尼库哈，R。；F.德勒贝克。 相关软件： LMI工具箱；SDPA；彭农… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；运筹学，数学规划（90-XX）…
NESTOR公司 引用于27份文件(1985–2017) 软件作者： G.F.库珀。 相关软件： TETRAD公司；几何导师；DENDRAL… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
卡桑德拉 22篇文献引用(2012–2023) 软件作者： Lakshman，A.，Malik，P。 相关软件： 发电机；Bigtable；MongoDB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
甲酚 25篇文献引用(2006–2022) 软件作者： 约翰森（Einar Broch Johnsen）；Owe、Olaf；Yu，Ingrid Chieh女士 相关软件： 轻量级Java；ABCL；莫德… 主要字段： 计算机科学（68-XX）
FOTF工具箱 25篇文献引用(2015–2023) 软件作者： 薛丁玉 相关软件： Matlab；Mittag-Lefler；ML… 主要字段： 实函数（26-XX）；特殊功能（33-XX）；常微分方程（34-XX）…
S-TaLiRo公司 26篇文献引用（2011年-2023年） 软件作者： 安普雷迪（Annpureddy），亚什旺斯（Yashwanth）；刘，车；费内科斯（Fainekos，Georgios）；桑卡拉纳拉亚南，斯里拉姆 相关软件： 违约；SpaceEx；流量*… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SALBP发电机 引用于27份文件(2012–2023) 软件作者： A奥托、C奥托、A斯科尔 相关软件： TUALB；背包；2-ANTBAL… 主要字段： 组合数学（05-XX）；运筹学、数学规划（90-XX）
Duali公司 26篇文献引用(1997–2020) 软件作者： David A.Kendrick。；马克·佩·图奇（Marco P.Tucci）。；Hans M.安曼。 相关软件： 双PC；Dynare公司；LMI工具箱… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；运筹学，数学规划（90-XX）…
盖泽博 21篇文献引用(2006–2023) 软件作者： Koenig，N。；H·霍华德。 相关软件： 活性氧；MuJoCo；转子… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
LS SVM实验室 25篇文献引用(2006–2020) 软件作者： J.A.K.Suykens、T.Van Gestel、J.De Brabanter、B.De Moor、J.Vandewalle 相关软件： Matlab；UCI-ml；LIBSVM… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
MatContM公司 25篇文献引用(2018–2023) 软件作者： 尤里·库兹涅佐夫（Yuri A.Kuznetsov）。；希尔·G·E·梅杰。 相关软件： MatcotM；Matlab；MATCONT公司 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；差分和函数方程（39-XX）…
SPRINT2D公司 25篇文献引用(1986–2013) 软件作者： 贝津斯，M。；费尔利，R。；Pennington，S.V.公司。；Ware，J.M。；天平，L.E。 相关软件： DASSL；LSODE；GEOMPACK… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
GASP四 在24份文件中引用(1974–2006) 软件作者： A.Alan B.Pritsker。 相关软件： SIMSCRIPT；Simula 67；DYNAMO… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
群组工具包 2份文件引用（2003年至2009年） 软件作者： 罗斯曼M。；格林伯格S。 相关软件： 脱咖啡因咖啡；PlanEdit；科莱姆… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
NNV公司 23篇文献引用(2021–2024) 软件作者： Hoang Dung Tran、Xiaodong Yang、Diego Manzanas Lopez、Patrick Musau、Luan Viet Nguyen、Weiming Xiang、Stanley Bak、Taylor T.Johnson 相关软件： Reluplex；马拉博；AI2… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
IRKC公司 23篇文献引用(2006–2023) 软件作者： Shampine，L.F.公司。；Sommeijer，B.P.公司。；J.G.韦尔。 相关软件： RKC；罗德斯；投票… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
洛拉 23篇文献引用(2009–2023) 软件作者： D’Angelo，B。；等。 相关软件： 蒙保利；Java-MOP；LUSTRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
BliStr公司 22篇文献引用(2013–2023) 软件作者： J·厄本。 相关软件： E定理证明；VAMPIRE公司；MaLARea… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；几何（51-XX）…
K工具 20篇文献引用（2010年至2022年） 软件作者： 大卫·拉扎尔（David Lazar）、安德烈·阿鲁索艾（Andrei Arusoaie）、特拉安·弗洛林·埃尔布努（Traian Florinöerbţnu）、丘奇·埃利森（Chucky Ellison）、拉杜·梅雷塔（Radu Mereuta）、多雷尔·卢卡努（Dorel Lucan 相关软件： K校准仪；莫德；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
可观察性测试 22篇文献引用(2001–2022) 软件作者： 亚历山大·塞多拉维奇 相关软件： COMBOS公司；雏菊；西安… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
RACT公司 21篇文献引用(2007–2022) 软件作者： 安德烈·特雷姆巴；朱塞佩·卡拉菲奥雷；Fabrizio Dabbene；Elena Gryazina；鲍里斯·波利亚克（Boris Polyak）；帕维尔·谢尔巴科夫（Pavel Shcherbakov）；罗伯托·坦波 相关软件： YALMIP；背包；UCI-ml… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
乔托 17篇文献引用(2001–2022) 软件作者： 托马斯·汉津格、本杰明·霍洛维茨、克里斯托夫·梅耶·基尔希 相关软件： 卢斯特；Uppaal；酯类… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
珍珠包 18篇文献引用(1998–2008) 软件作者： 霍斯蒂斯，E.N。；赖斯，J.R。；Weerawarana，S。；Catlin，A.C.公司。；Papachiou，P。；Wang，K.-Y。；盖塔茨，M。 相关软件： ELLPACK；PYTHIA公司；LAPACK… 主要字段： 一般性和全局性主题；藏品（00-XX）；偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）…
BCI2000型 12份文件引用(2016–2022) 软件作者： Schalk G、McFarland D J、Hinterberger T、Birbaumer N、Wolpow J R 相关软件： PhysioToolkit；EEGLAB；OpenViBE… 主要字段： 常微分方程（34-XX）；统计学（62-XX）；计算机科学（68-XX）…
MUSCOD-II公司 19份文件引用(1998–2021) 软件作者： 海德堡大学；M.Diehl、D.B.Leineweber、A.A.S.Schäfer 相关软件： Ipopt；ADIFR；SOCS… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
科科斯 19份文件引用(2006–2019) 软件作者： 印度 相关软件： 科学实验室；科学实验室；FreeFem++… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
emgr公司 在15份文件中引用(2013–2023) 软件作者： 克里斯蒂安·希姆 相关软件： Matlab；pyMOR；hapod… 主要字段： 一般性和全局性主题；藏品（00-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
JModelica公司 在15份文件中引用（2010年至2022年） 软件作者： – 相关软件： Optimica；Modelica；迪莫拉… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
台阶 引用于16份文件(2014–2019) 软件作者： 伊恩·赫本、陈伟良、斯特凡·威尔斯、埃里克·德舒特 相关软件： MesoRD；URDME；斯莫尔丁… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
D-NURBS曲线 13份文件引用(2005–2020) 软件作者： 洪琴；特佐普洛斯，D。 相关软件： CoRdE；绞线；算法624… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
卡拉 10篇文献引用(2019–2024) 软件作者： 阿列克谢·多索维茨基（Alexey Dosovitskiy）、德国人罗斯（German Ros）、菲利佩·科德维拉（Felipe Codevilla）、安东尼奥·洛佩兹（Antonio Lopez）、弗拉德伦·科尔顿 相关软件： OpenAI健身房；LGSVL；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
PySINDy公司 13份文件引用(2021–2024) 软件作者： 布莱恩·德·席尔瓦（Brian de Silva）；凯萨琳冠军；马库斯四人组；Jean-Christophe Loiseau；J.Nathan Kutz；史蒂文·布伦顿 相关软件： 乐团-SINDy；Python；DeepONet；…（D）… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HyFIS公司 9份文件引用(2002–2022) 软件作者： Kim J、Kasabov N 相关软件： ANFIS；DENFIS；树… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
Seesoft公司 8份文件引用(1995–2011) 软件作者： 艾克，S。；小J.Steffen 相关软件： 代码爬虫；希皮卡特；Jove… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
TCT公司 在15份文件中引用（2011年-2023年） 软件作者： 雷锋，W.M.Wonham 相关软件： UMDES；Supremica；害虫… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；系统论；控制（93-XX）
TuLiP公司 在15份文件中引用(2016–2022) 软件作者： Tichakorn Wongpiromsarn、Ufuk Topcu、Necmiye Ozay、Huan Xu、Richard M.Murray 相关软件： 佩索阿；科西马；SCOTS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
DASOPT公司 14篇文献引用(1988–2021) 软件作者： 琳达·佩佐德；Rosen，J.Ben；菲利普·吉尔（Philip E.Gill）。；Jay，Laurent O。；公园，基洪 相关软件： ADIFR；SNOPT；SOCS… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；流体力学（76-XX）…
乐团-SINDy 14篇文献引用(2022–2024) 软件作者： 法塞尔，城市；库茨（J.Nathan Kutz）；宾尼·W·布伦顿。；史蒂文·布鲁顿。 相关软件： PySINDy；SINDy-PI；DeepONet；…（D）… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
PID_调整 14篇文献引用(2005–2021) 软件作者： 拉斯·埃里克森 相关软件： YALMIP；塞杜米；Matlab… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；系统论；对照（93-XX）…
SpEC公司 14篇文献引用（2011年-2023年） 软件作者： 丹尼尔·亨伯格。；Mark A.Scheel。；劳伦斯·基德（Lawrence E.Kidder）。；贝拉·斯齐拉吉；杰弗里·洛夫莱斯；尼古拉斯·泰勒（Nicholas W.Taylor）。；索尔·托科尔斯基（Saul A.Teukolsky）。 相关软件： SpECTRE公司；Matplotlib；回声… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
LFLC 2000型 13份文件引用(2004–2022) 软件作者： 伊朗空军 相关软件： ETPS；fclust；Juzzy… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
N模型 10篇文献引用(2007–2021) 软件作者： 乔纳森·杰基；Veanes、Marqus；科林·坎贝尔（Colin Campbell）；沃尔夫拉姆·舒尔特 相关软件： SpecExplorer；UniTESK公司；DART… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
生锈带 13份文件引用(2018–2022) 软件作者： Jung，R.、Jourdan，J.H.、Krebbers，R.和Dreyer，D。 相关软件： 锈蚀；Coq；工具链… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
安全UML 7份文件引用（2002年-2014年） 软件作者： 托尔斯滕·洛德斯泰特；David Basin；尤尔根·多塞 相关软件： Z；自旋蛋白；HOL-OCL… 主要字段： 计算机科学（68-XX）
Siconos公司 13份文件引用（2010年至2022年） 软件作者： Siconos开发团队 相关软件： 路径求解器；pvlib；CasADi… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
MBSymba手机 12份文件引用（2004年至2021年） 软件作者： R地块。；M·达里奥。 相关软件： 枫树；罗德斯；Ipopt；…（可选）… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
莫拉布 11份文件引用(2018–2023) 软件作者： 彼得·本纳（Peter Benner）、斯特芬·W·R·沃纳（Steffen W.R.Werner） 相关软件： MESS；RADI；SOLBT… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
矿石形态 12份文件引用(2007–2020) 软件作者： 克鲁佐，T.，Quadrat，A 相关软件： 矿石模块；矿石代数分析；麦考利2… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；结合环与代数（16-XX）…