HOL灯 320篇文献引用(1998–2024) 软件作者： 约翰·哈里森 相关软件： Coq；Isabelle/HOL；HOL… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
qpOASES公司 83份文件引用(2008–2023) 软件作者： H.J.Ferreau、C.Kirches、A.Potschka、H.G.Bock、M.Diehl 相关软件： fast_mpc；Ipopt；CVXGEN… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
库恩 80篇文献引用(2009–2023) 软件作者： 彼得罗·贝洛蒂；Jon Lee；利贝蒂（Leo Liberti）；弗朗索瓦·马戈；安德烈亚斯·瓦赫特 相关软件： BARON公司；CPLEX；Bonmin… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Wolfram演示 49份文件中引用(2007–2023) 软件作者： Wolfram公司 相关软件： Mathematica；组织环境信息系统；iRRAM… 主要字段： 组合数学（05-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
第DG部分 22篇文献引用(2007–2023) 软件作者： 丹尼斯·迪尔 相关软件： HE-E1GODF；PETSc；帕梅蒂斯… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
第一 在10份文件中引用(2001–2018) 软件作者： 持有，M。 相关软件： Matlab；SegMatch；三角形… 主要字段： 近似和扩展（41-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
薄雾 5份文件引用(2014–2022) 软件作者： 丹尼尔·安贝蒂 相关软件： MINITAB公司；R；JMP… 主要字段： 一般性和全局性主题；藏品（00-XX）；近似和扩展（41-XX）；统计学（62-XX）…
电子LBM 4份文件引用(2019–2022) 软件作者： Alpak，F.O。；扎卡鲁迪奥，I。；Berg，S。；Dieterich，J。；北卡罗来纳州萨克森纳。 相关软件： drp基准；CUDA；特里利诺斯 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
菲米卡 2份文件引用(2012–2016) 软件作者： Lemaire M、Pendola M 相关软件： LS-DYNA；ParaFEM；PAM-OPT… 主要字段： 统计学（62-XX）；数值分析（65-XX）