dcc公司 46篇文献引用(2012–2023) 软件作者： 乌韦·诺曼 相关软件： ADOL-C；锥体；旋转… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
通量 11份文件引用(2020–2024) 软件作者： Innes M酒店 相关软件： 朱莉娅；微分方程.jl；亚当… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
计算机辅助设计 引用于7份文件(2006–2018) 软件作者： 科恩、诺曼、里埃姆 相关软件： NAG软件；TAF；锥体… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
鸡蛋 4份文件引用(2021–2023) 软件作者： Max Willsey、Chandrakana Nandi、Yisu Remy Wang、Oliver Flatt、Zachary Tatlock、Pavel Panchekha 相关软件： CatLib；同意；Verigraph… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
阿博加斯特 引用于3份文件(2018–2019) 软件作者： 伊莎贝尔·沙彭蒂埃（Isabelle Charpentier）；Jens Gustedt公司 相关软件： DLMF；算法916；HOAD_MathFun… 主要字段： 实函数（26-XX）；复变量函数（30-XX）；特殊功能（33-XX）…
利瓦赫 引用于3份文件(2016–2022) 软件作者： 王牧；阿瑟夫·盖布雷梅欣；亚历克斯·波顿 相关软件： 利瓦哈克；边缘_推送_ sp；ColPack… 主要字段： 数学逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
利瓦哈克 引用于3份文件(2016–2022) 软件作者： 王牧；格布雷梅丁，阿塞法；亚历克斯·波顿 相关软件： 利瓦赫；边缘_推送_ sp；ColPack… 主要字段： 数学逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
自动HOOT 1份文件引用(2022) 软件作者： 马林健、叶嘉玉、埃德加·索洛莫尼克 相关软件： 数字Py；皮曼诺普；DiffSharp… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；微分几何（53-XX）；数值分析（65-XX）
包壳，包壳 1份文件引用(2018) 软件作者： V.Vassilev、V.Ilieva、L.Moneta、A.Penev、M.Vassiliev 相关软件： MuPAD；Matlab；特征… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）