放松IV 25篇文献引用(1987–2022) 软件作者： D.P.Bertsekas；曾荫权（P.Tseng） 相关软件： CPLEX；松弛4；DIMACS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TiML公司 8份文件引用(2018–2022) 软件作者： Wang，P.，Wang，D.，Chlipala，A。 相关软件： TcT；z3；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
AStarix公司 2份文件引用(2020–2022) 软件作者： 伊万诺夫，P。；Bichsel，B。；穆斯塔法，H。；Kahles，A。；Rätsch，G.等人。；韦切夫，M。；R.施瓦茨。 相关软件： vg；BWA；蝴蝶结2… 主要字段： 组合数学（05-XX）；生物学和其他自然科学（92-XX）
D*超轻 2份文件引用(2017–2019) 软件作者： 马西耶·普尔兹比尔斯基；芭芭拉·普茨 相关软件： D*Lite系列 主要字段： 变分法与最优控制；优化（49-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）