PHAVer公司 120篇文献引用(2005–2024) 软件作者： 戈兰·弗雷斯 相关软件： 高科技；SpaceEx；RSOLVER… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
流量* 51篇文献引用(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）…
C2e2型 14篇文献引用(2016–2022) 软件作者： P.Duggirala、S.Mitra、M.Viswanathan、M.Potok 相关软件： SpaceEx；流量*；CORA… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
ModelPlex公司 在10份文件中引用(2016–2024) 软件作者： Mitsch，S.、Platzer，A。 相关软件： 凯伊迈拉；凯伊迈拉X；Bellerophon… 主要字段： 数学逻辑与基础（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）…