Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models

A method is developed that allows the verified integration of ODEs based on local modeling with high-order Taylor polynomials with remainder bound with an accuracy that scales with the (n + 1)-st order of the domain and substantially reduces blow-up.