A dynamical approach to validated numerics - Oliver Jenkinson; Mark Pollicott (2022)