流量* 51篇文献引用(2015–2024) 软件作者： Xin Chen、Erika Al brahám、Sriram Sankaranarayanan 相关软件： SpaceEx；CORA；dReach；…（每个；…）… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
马蒂斯 34份文件引用(2007–2022) 软件作者： 安托万·吉拉德；乔治·帕帕斯。 相关软件： 高科技；PHAVer；SpaceEx… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…