日/日 40篇文献引用(2002–2022) 软件作者： 细辛，尤金；Dang，Thao；奥德·马勒 相关软件： 高科技；PHAVer；SpaceEx… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
UDDAE_优化 5份文件引用(2017–2022) 软件作者： Luca Fenzi；维姆·米歇尔斯 相关软件： UQLab；HIFOO；DDE-BIFTOOL… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
海森 2份文件引用(2020–2021) 软件作者： O.Bouissou、S.Mimram、A.Chapoutot 相关软件： SMT-LIB；解释；CORA… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）