Lorenz system

Computer assisted proof of chaos in Lorenz equations for standard parameter values: L.C.

Henon system

Computer assisted proof of chaos in the Henon map
h(x,y)=(1+y-ax2,by).
for standard parameter values (a=1.4, b=0.3).
Existence of symbolic dynamics for the second iteration of h: H2.C.
Existence of symbolic dynamics for the seventh iteration of h: H7.C.
Existence of periodic points with period 3, 5, 9: HPer.C.
Existence of periodic points with period 1-15: HP.C.
Auxilary files: HDraw.C, HDef.C, HDraw.h, HDef.h.

4734. times visited since Mar 17 2000 . int.html last modified on February 13, 2002