Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
scientific article; zbMATH DE number 1240629