Bünger, FlorianFlorianBünger2021-06-292021-06-292021Nonlinear Theory and Its Applications, IEICE 12 (1): 2-40 (2021)http://hdl.handle.net/11420/9810Makino and Berz introduced the Taylor model approach for validated integration of initial value problems (IVPs) for ordinary differential equations (ODEs). Especially, they invented preconditioning of Taylor models for stabilizing the integration and proposed the following different types: parallelepiped preconditioning (with and without blunting), QR preconditioning, and curvilinear preconditioning. We review these types of preconditioning and show how they are implemented in INTLAB's verified ODE solver verifyode by stating explicit MATLAB code. Finally, we test our implementation with several examples.en2185-410620211240Journal Article10.1587/nolta.12.2Other