@misc{indiciae2508be02fc57,
  title = {A dynamical approach to validated numerics},
  author = {Oliver Jenkinson and Mark Pollicott},
  year = {2022},
  url = {https://arxiv.org/abs/2203.15131},
  note = {Source identifier: 2203.15131}
}