流量* 49篇文献引用(2015–2024) 软件作者： Xin Chen、Erika Al brahám、Sriram Sankaranarayanan 相关软件： SpaceEx；d范围；高科技… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
HSolver公司 48篇文献引用(2005–2023) 软件作者： Stefan Ratschan；知坤社；TomášDzetkulič 相关软件： RSOLVER公司；基准；高科技… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
违约 32篇文献引用(2011–2022) 软件作者： 亚历山大·顿泽 相关软件： S-TaLiRo；流量*；SpaceEx… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
基准 28篇文献引用(2005–2023) 软件作者： 斯特凡·拉特肖恩（Stefan Ratschan）；她，志坤 相关软件： RSOLVER公司；H溶剂；高科技… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
埃沃利诺 12份文件引用(2007–2021) 软件作者： Schmidhuber，J.、Wierstra，D.、Gomez，F.J。 相关软件： 发条RNN；LSTM；darch… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
ProbReach公司 9份文件引用(2015–2023) 软件作者： 费多·什马罗夫（Fedor Shmarov）；保罗·祖利亚尼 相关软件： SReachTools；AMYTISS公司；静止… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
Stabhyli公司 5份文件引用(2013–2020) 软件作者： 莫尔曼，艾克；奥利弗·泰尔 相关软件： 平均值；SpaceEx；PPL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
国际卫星通信协会 4份文件引用(2015–2017) 软件作者： K.Scheibler、S.Kupferschmid、B.Becker 相关软件： SMT-RAT；数学SAT5；CVC4… 主要字段： 计算机科学（68-XX）
索尼公司 4份文件引用(2006–2014) 软件作者： Beelitz，T.、Bischof，C.H.、Lang，B.、Willems，P 相关软件： 进入PT_90；全球溶胶；内比斯… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
海森 2份文件引用(2020–2021) 软件作者： O.Bouissou、S.Mimram、A.Chapoutot 相关软件： SMT-LIB；解释；CORA… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）