Bünger, FlorianFlorianBünger2019-10-242019-10-242020-04Journal of Computational and Applied Mathematics (368): 112511 (2020-04)http://hdl.handle.net/11420/3648The new INTLAB release V11 contains two verified ODE solvers. One is a MATLAB implementation of Lohner's classical AWA, the other one follows the so-called Taylor model approach which is the main subject of this article.en0377-04272020Initial value problemsOrdinary differential equationsTaylor modelsJournal Article10.1016/j.cam.2019.112511Other