TY  - RPRT
TI  - An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
AU  - Irmina Walawska
AU  - Daniel Wilczak
PY  - 2016
DO  - 10.1016/j.amc.2016.07.005
UR  - https://arxiv.org/abs/1509.07388
ID  - 1509.07388
ER  -