End Cover for Initial Value Problem: Complete Validated Algorithms with Complexity Analysis

Bingwei Zhang, Chee Yap

We consider the first-order autonomous ordinary differential equation \[ \mathbf{x}' = \mathbf{f}(\mathbf{x}), \] where $\mathbf{f}:{\mathbb{R}}^n\to {\mathbb{R}}^n$ is locally Lips…