Home
Contact information
Curriculum vitae
Publications
Henon computations
CHomP ad
Student research
Teaching
Links
Email me
A
box covering of the Henon attractor.*
henon_comp.zip
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.