@article{d6864f69-cfa7-4782-a3f4-36a1d37ac047, author = {Daniel Wilczak, Piotr ZgliczyƄski}, title = {Cr-Lohner algorithm}, journal = {Schedae Informaticae}, volume = {2011}, number = {Volume 20}, year = {2012}, issn = {1732-3916}, pages = {9-42},keywords = {rigorous integration of ODEs; variational equations.}, abstract = {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.}, doi = {10.4467/20838476SI.11.001.0287}, url = {https://ejournals.eu/en/journal/schedae-informaticae/article/cr-lohner-algorithm} }