流量* 51篇文献引用(2015–2024) 软件作者： Xin Chen、Erika Al brahám、Sriram Sankaranarayanan 相关软件： SpaceEx；珊瑚；dReach… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
NNV公司 24篇文献引用(2021–2024) 软件作者： Hoang-Dung Tran、Xiaodong Yang、Diego Manzanas Lopez、Patrick Musau、Luan Viet Nguyen、Weiming Xiang、Stanley Bak、Taylor T.Johnson 相关软件： Reluplex；马拉博；ReachNN… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
C2e2型 14篇文献引用(2016–2022) 软件作者： P.Duggirala、S.Mitra、M.Viswanathan、M.Potok 相关软件： SpaceEx；流量*；CORA… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
HyLAA公司 6篇文献引用(2017–2023) 软件作者： 斯坦利·巴克；帕拉萨拉·斯里达尔·达吉拉拉 相关软件： CORA；SpaceEx；流量*… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统理论；控制（93-XX）
DaDRA公司 在0个文档中引用 软件作者： Jared Mejia、Alex Devonport、Murat Arcak 相关软件： 阿里阿德涅；Isabelle/HOL；NLTOOLBOX… 主要字段： –