Modelica公司 120篇文献引用(2000–2024) 软件作者： 耶布拉，L.J。；贝伦格尔，M。；多尔米多，S。；E.扎扎。 相关软件： Dymola；Matlab；OpenModelica… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SALBP发电机 27篇文献引用(2012–2023) 软件作者： A奥托、C奥托、A斯科尔 相关软件： tulb；背包；2-安特巴尔… 主要字段： 组合数学（05-XX）；运筹学、数学规划（90-XX）
GATeL公司 12份文件引用(2001–2017) 软件作者： 本杰明·布朗 相关软件： STG；投掷；快速检查… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
MBDyn公司 7份文件引用(2007–2023) 软件作者： M.Fancello、P.Masarati、M.Morandini、V.Muscarello、G.Quaranta 相关软件： 预CICE；SU2；打开SeesPy… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
汽车MOTGen 4份文件引用(2009–2021) 软件作者： Ambar A.Gadkari大使；阿南·耶奥利卡尔（Anand Yeolekar）；J.Suresh；S.Ramesh；Swarup Mohalik；K.C.沙希达尔 相关软件： PHAVer；Simulink；Dymola… 主要字段： 计算机科学（68-XX）
西塔 2份文件引用(2015–2021) 软件作者： 乔蒂莫·德斯穆赫（Jyotirmoy Deshmukh）；金小青；詹姆斯·卡宾斯基；奥德·马勒 相关软件： 违约；S-TaLiRo；自适应压力测试.jl… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
沙漠沙漠 在0个文档中引用 软件作者： Eames，Brandon K。；妮玛、桑迪普·K·。；罗希特·萨拉斯瓦特 相关软件： 禁忌搜索；SICStus公司；FaMa… 主要字段： 计算机科学（68-XX）
指数管 1份文件引用(2016) 软件作者： Ariel Rosenfeld；约瑟夫·凯谢；Goldman，Claudia V。；克劳斯，萨里特 相关软件： 古罗比 主要字段： 统计学（62-XX）；计算机科学（68-XX）
MR4UM公司 2份文件引用(2013–2019) 软件作者： 陈景舒；桑迪普·库尔卡尼 相关软件： Uppaal；维尔塔夫；Sycraft… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
大熊猫 1份文件引用(2023) 软件作者： Bunting先生。；巴达尼，R。；J·斯普林克。 相关软件： 斯特里姆 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
在线RAMP 1份文件引用(2017) 软件作者： 霍尼韦尔 相关软件： FiOrdOs；qpOASES公司 主要字段： 变分法与最优控制；优化（49-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
ST-Lib型 1份文件引用(2019) 软件作者： J.Kapinski、X.Jin、J.Deshmukh、A.Donzé、T.Yamaguchi、H.Ito、T.Kaga、S.Kobuna、S.A.Seshia 相关软件： S-TaLiRo公司 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）