Chee Yap

collaborators

3 papers

math.NA2026

Taylor Tube Method for Validated IVP

Bingwei Zhang, Chee Yap

We recently introduced a novel architecture for the design of validated IVP algorithms. This architecture forms the basis of our complete validated algorithm for IVP. A key subrout…

cs.DS2026

Covers for Initial Value Problem: Complete Validated Algorithms with Complexity Analysis

Bingwei Zhang, Chee Yap

We consider the first order autonomous differential equation (ODE) $x^{'} = f (x)$ where $f : R^{n} \to R^{n}$ is locally Lipschitz. For a…

cs.SC2025

A Novel Approach to the Initial Value Problem with a complete validated algorithm

Bingwei Zhang, Chee Yap

We consider the first order autonomous differential equation (ODE) $x^{'} = f (x)$ where $f : R^{n} \to R^{n}$ is locally Lipschitz. For ${\bf x}_0\i…