Table of Contents
A box covering of the Henon attractor.*
The above archive contains files for computations on the Henon map, similar to those discussed in Chapter 4 of A Rigorous Numerical Method in Infinite Dimensions. There are some small variations to the results given there due to the implementation of interval arithmetic. These computations are also discussed in the paper Towards Automated Chaos Verification.*
Slides for a related talk may be found here.
The following software packages are required for the computations: Matlab, GAIO, and Homology Program. PROFIL/BIAS is required for the rigorous computations involving interval arithmetic.