日/日 40篇文献引用(2002–2022) 软件作者： 细辛，尤金；Dang，Thao；奥德·马勒 相关软件： 高科技；PHAVer；SpaceEx… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
海康普 6篇文献引用(2017–2022) 软件作者： A.Cimatti、A.Griggio、S.Mover、S.Tonetta 相关软件： nuXmv；CTIGAR；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…