Algorithms for rigorous integration of ordinary differential equations

Praca przedstawia wybrane metody ścisłego całkowania równań różniczkowych zwyczajnych. Algorytmy porównano pod względem dokładności uzyskanych oszacowań oraz szybkości obliczeń. Efektem pracy są eksperymenty numeryczne ilustrujące omawiane wcześniej zagadnienia wykonane przy pomocy biblioteki CAPD.The paper presents selected methods for rigorous integration of ordinary differential equations. Algorithms were compared in terms of the accuracy of the obtained estimates and the calculation speed. The results of the thesis are numerical experiments that illustrate the issues discussed earlier with the use of the CAPD library