TY - JOUR
TI - Cr-Lohner algorithm
AU - Wilczak, Daniel
AU - Zgliczyński, Piotr
TI - Cr-Lohner algorithm
AB - 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.
VL - 2011
IS - Volume 20
PY - 2012
SN - 1732-3916
C1 - 2083-8476
SP - 9
EP - 42
DO - 10.4467/20838476SI.11.001.0287
UR - https://ejournals.eu/en/journal/schedae-informaticae/article/cr-lohner-algorithm
KW - rigorous integration of ODEs
KW - variational equations.