arXiv · 2203.15131
A dynamical approach to validated numerics
Abstract
We describe a method, using periodic points and determinants, for giving alternative expressions for dynamical quantities (including Lyapunov exponents and Hausdorff dimension of invariant sets) associated to analytic hyperbolic systems. This leads to validated numerical estimates on their values
Explore related subjects
Keep this discovery
Oliver Jenkinson, Mark Pollicott. 2022-03-28. A dynamical approach to validated numerics. https://arxiv.org/abs/2203.15131
Cite the original work for its findings. Save a collection to share your selection of sources.