Document Type : Research Paper
Institute of Computing Science, Poznan University of Technology, Piotrowo 2, 60-965 Poznan, Poland.
Department of Computer Science, Higher Vocational State School in Kalisz Poznanska 201-205, 62-800 Kalisz, Poland.
Institute of Mathematics, Poznan University of Technology, Piotrowo 3A, 60-965 Poznan, Poland.
Poznan Supercomputing and Networking Center, Jana Pawła II 10, 61-139 Poznan, Poland.
The Kutzmann-Butcher method is the unique implicit four-stage Runge-Kutta method of order 8. In many problems in ordinary differential equations this method realized in floating-point arithmetic gives quite good approximations to the exact solutions, but the results obtained do not contain any information on rounding errors, representation errors and the error of the method. Thus, we describe an interval version of this method, which realized in floating-point interval arithmetic gives approximations (enclosures in the form of an interval) containing all these errors. The described method can also include data uncertainties in the intervals obtained.