%0 Journal Article
%T Cr-Lohner algorithm
%A Wilczak, Daniel
%A Zgliczyński, Piotr
%J Schedae Informaticae
%V 2011
%R 10.4467/20838476SI.11.001.0287
%N Volume 20
%P 9-42
%K rigorous integration of ODEs, variational equations.
%@ 1732-3916
%D 2012
%U https://ejournals.eu/en/journal/schedae-informaticae/article/cr-lohner-algorithm
%X 
	We present a Lohner type algorithm for the computation of rigorous bounds for the solutions of ordinary differential equations and its derivatives with respect to the initial conditions up to an arbitrary order.