TY  - RPRT
TI  - A dynamical approach to validated numerics
AU  - Oliver Jenkinson
AU  - Mark Pollicott
PY  - 2022
UR  - https://arxiv.org/abs/2203.15131
ID  - 2203.15131
ER  -