Matlab公司 13856份文件引用(1982–2025) 软件作者： MathWorks公司 相关软件： Simulink；LMI工具箱；枫树… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
全球供应链 357份文件引用（1997年-2023年） 软件作者： 崇谷 相关软件： R；半标准杆；fda（R）… 主要字段： 功能分析（46-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
术语 326篇文献引用（1993年-2023年） 软件作者： LINDO系统 相关软件： 林多；GAMS；AMPL… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ACL2型 287份文件引用(1998–2023) 软件作者： 马特·考夫曼，斯特罗瑟·摩尔 相关软件： Coq；Isabelle/HOL；PVS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数拓扑（55-XX）…
DYNAMO公司 260篇文献引用(1968–2023) 软件作者： 杰伊·赖特·福雷斯特、菲利斯·福克斯、亚历山大·普格三世、格雷斯·杜伦 相关软件： 斯特拉；文西姆；AnyLogic… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
皮奥莫 103篇文献引用（2012年至2024年） 软件作者： 威廉·哈特（William E.Hart）。；卡尔·莱尔德；Jean-Paul Watson；大卫·L·伍德拉夫。 相关软件： 古罗比；Ipopt；CPLEX… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Parampool公司 11份文件引用(2016–2023) 软件作者： 汉斯·彼得·朗坦根（Hans Petter Langtangen）；盖尔·佩德森。 相关软件： FEniCS；SyFi；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…