PARA
2004
Springer
14 years 4 months ago
2004
Springer
The performance of various Taylor model (TM)-based methods for the validated integration of ODEs is studied for some representative computational problems. For nonlinear problems, ...