JUCS - Journal of Universal Computer Science 4(2): 114-124, doi: 10.3217/jucs-004-02-0114
Rigorous Numerical Studies of the Existence of Periodic Orbits for the Hénon Map
expand article infoZbigniew Galias
‡ Department of Electrical Engineering University of Mining and Metallurgy Kraków, Poland
Open Access
In this paper we perform a rigorous study of the Hénon map. We prove with computer assistance the existence of symbolic dynamics for h2 and h7 and the existence of periodic orbits of all periods but 3 and 5.
chaos, computer assisted proof, interval arithmetic.