PHAVer公司 121篇文献引用(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)…