MPT公司 255篇文献引用(2004–2023) 软件作者： M.Kvasnica；P.Grieder；M.Baoti；苏黎世联邦理工大学；弗朗西斯科·博雷利 相关软件： YALMIP；CPLEX；Matlab… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HYBRJ公司 46篇文献引用(1981–2020) 软件作者： 伯顿·S·加博（Burton S.Garbow）、肯尼思·希尔斯特罗姆（Kenneth E.Hillstrom）、豪尔赫·莫尔（Jorge J.More） 相关软件： minpack；抱怨；Matlab… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
d到达 29篇文献引用(2015–2024) 软件作者： S.Kong、S.Gao、W.Chen、E.M.Clarke 相关软件： 流量*；SpaceEx；KeYmaera… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
HyFIS公司 9份文件引用(2002–2022) 软件作者： Kim J、Kasabov N 相关软件： ANFIS；DENFIS；树… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
混合稳定样条线工具箱 12份文件引用（2016年-2023年） 软件作者： 吉安路易吉·皮洛内托 相关软件： Matlab；PRMLT；GitHub… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
贝勒罗芬 8份文件引用(2017–2023) 软件作者： Nathan Fulton；斯特凡·米奇；布兰登·伯勒；安德烈·普拉泽 相关软件： 凯伊迈拉X；凯伊迈拉；ModelPlex… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
海斯特 7份文件引用(2015–2019) 软件作者： Stanley Bak、Sergiy Bogomolov、Taylor T.Johnson 相关软件： SpaceEx；CORA；C2e2… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；系统理论；控制（93-XX）
SR每个 5份文件引用(2015–2022) 软件作者： Q.Wang、P.Zuliani、S.Kong、S.Gao、E.M.Clarke 相关软件： ProbReach；p面；SReachTools… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
REACH标准 4份文件引用（2013年至2018年） 软件作者： 徐明；朱家琦；李志斌 相关软件： iscas-Mc；z3；重新记录… 主要字段： 场论与多项式（12-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
索尼公司 4份文件引用(2006–2014) 软件作者： Beelitz，T.、Bischof，C.H.、Lang，B.、Willems，P 相关软件： 进入PT_90；全球溶胶；内比斯… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
CGMurphi公司 引用于2份文件(2013–2021) 软件作者： 朱塞佩·德拉·佩纳；Benedetto的Intragila；Daniele Magazzeni；伊戈尔·梅拉蒂；恩里科·特隆西 相关软件： UPPAAL TIGA公司 主要字段： 系统理论；控制（93-XX）
EFSMT公司 引用于2份文件(2016–2019) 软件作者： Cheng CH、Shankar N、Ruess H、Bensalem S 相关软件： z3；Yices；SMT-RAT… 主要字段： 计算机科学（68-XX）
JBernstein公司 1份文件引用(2016) 软件作者： Cheng CH、Ruess H、Shankar N 相关软件： 梅蒂塔斯基；EFSMT；dReal… 主要字段： 计算机科学（68-XX）
稳定性稳定性PTDS 引用于2份文件(2020–2023) 软件作者： 米歇尔斯，维姆；卢卡·芬奇 相关软件： GradSamp；DDE-BIFTOOL；汉索… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；系统理论；控制（93-XX）
斯特拉菲 引用于2份文件(2023–2024) 软件作者： 斯特凡·波桑纳；Holdered，Florian；李英哲；Na，Byung Kyu；多米尼克·贝尔；赛义德·哈德朱特；亚曼·Güçlü 相关软件： GEMPIC；Psydac；乔雷克 主要字段： 数值分析（65-XX）；流体力学（76-XX）
NeuralSim公司 1份文件引用（2023年） 软件作者： Eric Heiden、David Millard、Erwin Coumans、Yizhou Sheng、Gaurav S.Sukhatme 相关软件： PhyCRNet；torchdiffeq；PINNsNTK… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
符号数字集成.jl 1份文件引用(2022) 软件作者： 伊朗文，沙赫里亚尔；卡尔·朱利叶斯·马滕森；亚历山德罗·切利；沙什·高达（Shashi Gowda）；阿南德·杰恩（Anand Jain）；马应波；克里斯·拉卡卡斯 相关软件： 建模工具包.jl；SymPy；数据驱动DiffEq.jl… 主要字段： 计算机科学（68-XX）