罗德斯

一个严格的ODE求解器和Smale的第十四个问题：5。RODES程序：RoDES（严格的ODE求解器）程序是一个高度自适应的、多处理器的程序。正如我们前面指出的那样，计算是在必要时用有向舍入法进行的。这个功能是由Primi/BIAS封装（参见[8）]提供的，它支持在证明中使用的所有体系结构。该程序在并行工作的20台机器上执行，数据通过一个公共文本文件在进程之间传递。所有浮点数都以17位精度传递，根据IEEE标准进行精确转换。用于该任务的计算机是各种Sun SPARC站，其型号从LX、SPARC 4到超1。在该设置中的总计算时间约为100小时。其他配备了配备更强处理器的计算机的装置也已执行了类似的结果。在接下来的章节中，我们将对程序的全局结构和计算进行概述。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaX中的参考文献（99篇）1标准条款）

显示结果1至20的99。
按年份排序（引文）
  1. 李，Dongchen；TuraEV，德米特里：劳伦兹类吸引子周期扰动中的持续性异维周期（2020）
  2. 博诺莫，Wescley；Valdas，Paulo：（C^ 1）-泛型截面公理A流仅具有平凡对称性（2019）
  3. Galias，兹比格涅夫；希尔斯，沃里克：螺旋鞍周围光滑矢量场的严格积分及其在立方Chua吸引子中的应用（2019）
  4. G.Mez塞拉诺，哈维尔：PDE中的计算机辅助证据：一项调查（2019）
  5. 伊默勒、Fabian、特劳特、克里斯托夫：颂歌的流动：变分方程的形式化和PooCaré映射（2019）
  6. Miyaji，Tomoyuki；Sviridova，妮娜；相原，Kazuyuki；赵，铁军；Nakano，阿基玛萨：人类光容积图通过莫尔斯图：搜索实验数据中的鞍点（2019）
  7. 沈，Bo Wen：广义劳伦兹模型中的聚集负反馈（2019）
  8. Al Khawaja，U.；Al Mdallal，Qasem M.：（算子）（X）的收敛幂级数与非线性微分方程的解（2018）
  9. Al Sakkaf，Laila Y.；Al Mdallal，Qasem M.；Al Khawaja，U:一种求解在收缩可渗透无限长圆柱体上流体流动的高阶非线性BVPS的数值算法（2018）
  10. van den Berg、Jan Bouwe、库尔图瓦、朱利安、杜达斯、J·诺斯、莱萨德、Jean Philippe、V·奥斯脱、阿奈特、威廉姆斯、J. F.、尹、西园：偏微分方程径向对称解的计算机辅助证明（2018）
  11. 墨尔本，伊恩：具有无界顶函数流的统计性质，包括劳伦兹吸引子（2018）
  12. 卡皮斯基，Maciej J.；TuraEV，德米特里；ZGLICZY·SKI，PIOTR：Shimizu Morioka系统中劳伦兹吸引子存在性的计算机辅助证明（2018）
  13. 卡瓦略，玛丽亚；罗德里格斯，Alexandre P.：Bykov吸引子的一组不变量（2018）
  14. D. S.，罗哈斯，C.；Zhong，N:任意精度的几何劳伦兹吸引子（2018）
  15. Iimle，Fabian：一个验证的ODE求解器和劳伦兹吸引子（2018）
  16. 杰姆斯，J. D. Mireles：解析向量场平衡的有效数值：不变流形和连接轨道（2018）
  17. Kales，William D.；Kasti，Dinesh；Vandervorst，罗伯特：动力学和格序的算法方法（2018）
  18. 波林，丹尼尔；Jasra，阿杰伊；克里斯安，丹；贝斯科斯，亚历山大：部分观测混沌系统的集中性质（2018）
  19. Szczelina，罗伯特；ZGLICZZY SKI，PIOTR：延迟微分方程严格积分算法和Mackey Glass方程周期轨道的计算机辅助证明（2018）
  20. Vakulenko，谢尔盖：反应扩散系统中的复合吸引子和模式（2018）