Table of Contents
Home

Contact information
Curriculum vitae
Publications

Henon computations
CHomP ad
Student research

Teaching

Links

Email me



A box covering of the Henon attractor.
  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.