Scholarlink

<p>This study aims to offer mathematical tools constructed using numerical verification methods that are easy for people engaged in the simulation of phenomena to use. We propose a common formula for several ODE systems with conserved quantities that provides bounds for solution trajectories. Computing the formula using verified numerics is simpler than computing the solution trajectories; therefore, the formula can be a useful tool for researchers unfamiliar with numerical verification methods.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Tool for analyzing ODEs with conserved quantities through verified computation

  • 期刊论文

  • 发表日期：

    2026年4月15日

查看全文
  • Nobito Yamamoto,
  • Hidetomo Hoshino,
  • Koki Nitta

摘要

This study aims to offer mathematical tools constructed using numerical verification methods that are easy for people engaged in the simulation of phenomena to use. We propose a common formula for several ODE systems with conserved quantities that provides bounds for solution trajectories. Computing the formula using verified numerics is simpler than computing the solution trajectories; therefore, the formula can be a useful tool for researchers unfamiliar with numerical verification methods.