PHAVer公司 120篇文献引用(2005–2024) 软件作者： 戈兰·弗雷斯 相关软件： 高科技；SpaceEx；RSOLVER… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
流量* 50篇文献引用（2015年至2024年） 软件作者： Xin Chen、Erika Al brahám、Sriram Sankaranarayanan 相关软件： SpaceEx；CORA；dReach… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
日/日 40篇文献引用(2002–2022) 软件作者： 细辛，尤金；Dang，Thao；马勒，奥德 相关软件： 高科技；PHAVer；SpaceEx… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
马蒂斯 34份文件引用(2007–2022) 软件作者： 安托万·吉拉德；乔治·帕帕斯。 相关软件： 高科技；PHAVer；SpaceEx… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
C2e2型 14篇文献引用(2016–2022) 软件作者： P.Duggirala、S.Mitra、M.Viswanathan、M.Potok 相关软件： SpaceEx；流量*；科拉… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变异微积分和最优控制；优化（49-XX）；数值分析（65-XX）…
ModelPlex公司 10篇文献引用(2016–2024) 软件作者： Mitsch，S.、Platzer，A。 相关软件： 凯伊梅拉X；凯伊迈拉；dReach… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
贝勒罗芬 8份文件引用(2017–2023) 软件作者： Nathan Fulton；斯特凡·米奇；布兰登·伯勒；安德烈·普拉泽 相关软件： 凯伊迈拉X；凯伊迈拉；ModelPlex… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
海康普 6篇文献引用（2017年至2022年） 软件作者： A.Cimatti、A.Griggio、S.Mover、S.Tonetta 相关软件： nuXmv；CTIGAR；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
HyLAA公司 6篇文献引用(2017–2023) 软件作者： 斯坦利·巴克；帕拉萨拉·斯里达尔·达吉拉拉 相关软件： CORA；SpaceEx；流量*… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
STRONG公司 2份文件引用(2015–2021) 软件作者： 易登；阿克谢·拉汉斯；A.阿贡·朱利叶斯 相关软件： 高科技；PHAVer；解释… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）