Rigorous error bounds for RK methods in the proof of chaotic behaviour (Q1964098)

The paper presents rigorous bounds on the truncation, the round-off and the global error for the numerical integration of ordinary differential equations by means of explicit Runge-Kutta methods. These are provided in the form of iteration schemes ready-made for applications. The Conley index is used to develop an elegant tool for analyzing dynamical systems by means of computers. In order to demonstrate how the findings fit into the framework of the Conley index theory, the dynamics of a pendulum with oscillating support is investigated using a computer-assisted analysis.