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）…
个人2vec 在0个文档中引用 软件作者： Jisung Yoon、Kai Cheng Yang、Woo Sung Jung、Yong Yeol Ahn 相关软件： 自动扩展；全球；快照… 主要字段： –