The authors give short survey on validated computation of initial value problems for ODEs especially Taylor model methods. Then they propose an application of Taylor models to the Nakao method which has been developed for numerical verification methods on PDEs and apply it to initial value problems for ODEs with some numerical experiments.

中文翻译：

---

泰勒模型在 ODE 上的 Nakao 方法中的应用

作者对 ODE 的初始值问题的验证计算进行了简短的调查，尤其是泰勒模型方法。然后，他们提出将泰勒模型应用于 Nakao 方法，该方法已开发用于 PDE 的数值验证方法，并通过一些数值实验将其应用于 ODE 的初始值问题。