@misc{indiciae6d46c7974123,
  title = {An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs},
  author = {Irmina Walawska and Daniel Wilczak},
  year = {2016},
  doi = {10.1016/j.amc.2016.07.005},
  url = {https://arxiv.org/abs/1509.07388},
  note = {Source identifier: 1509.07388}
}