论文标题
验证数字的动态方法
A dynamical approach to validated numerics
论文作者
论文摘要
我们使用周期点和决定因素描述了一种与分析双曲线系统相关的动态量（包括不变集的lyapunov指数和Hausdorff尺寸）的替代表达式。这导致对其值的数值估计值
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
