AMPL公司 648份文件引用(1989–2023) 软件作者： 福勒，R.，盖伊，D.M.，科尼根，B.W。 相关软件： CPLEX；Ipopt；游戏… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
JML公司 161份文件引用(2000–2023) 软件作者： 加里·利文斯（Gary T.Leavens）；Yoonsik Cheon公司 相关软件： 规范#；埃菲尔；卡拉卡拉… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
HMQV公司 105篇文献引用(2001–2023) 软件作者： 雨果·克劳茨克 相关软件： NAXOS；金利；XooTools… 主要字段： 组合数学（05-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
虚拟仪器 54篇文献引用(1999–2023) 软件作者： 国家仪器公司 相关软件： Matlab；Simulink；CasADi… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
DAML+油 34份文件引用(2002–2009) 软件作者： 伊恩·霍洛克斯 相关软件： WordNet；swrl；三重… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
ASTRAL公司 16篇文献引用(1992–2006) 软件作者： 贾科莫·博纳诺；Coen Porisini，阿尔贝托；威廉·福纳西亚里 相关软件： 克罗诺斯；Uppaal；高科技… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）