A Taylor model toolbox for solving ODEs implemented in MATLAB/INTLAB
The 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.
Initial value problems
Ordinary differential equations