![]() |
![]() |
![]() |
![]() ![]() |
![]() |
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.*
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. |
![]() |