Publication | Closed Access

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