RealPaver公司 51篇文献引用(2003–2017) 软件作者： 劳伦特·格兰维尔（Laurent Granvilliers） 相关软件： 数字；进入PT_90；监狱… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
腰大肌 8份文件引用(2013–2023) 软件作者： V.M.贝塞拉。 相关软件： Ipopt；SOCS；SNOPT… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；粒子和系统力学（70-XX）…
GOPS公司 3份文件引用(2021–2023) 软件作者： 夏伟；Christine鞋匠 相关软件： EGO；MultiMin；游牧民族… 主要字段： 数值分析（65-XX）；运筹学，数学编程（90-XX）
利伯克加 2份文件引用(2015–2019) 软件作者： R.M.A.席尔瓦。；重发，M.G.C。；帕尔达洛斯，P.M。 相关软件： 自动控制；蟒蛇；自动工具… 主要字段： 组合数学（05-XX）；运筹学，数学编程（90-XX）
libcgrpp数据库 2份文件引用(2013–2018) 软件作者： R.M.A.席尔瓦。；重发，M.G.C。；帕尔达洛斯，P.M。；M.J.赫希。 相关软件： SimCList；OR-库；BPPLIB… 主要字段： 运筹学，数学编程（90-XX）