NNV公司 23篇文献引用(2021–2024) 软件作者： Hoang-Dung Tran、Xiaodong Yang、Diego Manzanas Lopez、Patrick Musau、Luan Viet Nguyen、Weiming Xiang、Stanley Bak、Taylor T.Johnson 相关软件： Reluplex；马拉博；AI2… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
海森 2份文件引用(2020–2021) 软件作者： O.Bouissou、S.Mimram、A.Chapoutot 相关软件： SMT-LIB；Interproc公司；CORA… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）