Period doubling in the Rossler system - a computer assisted proof
arXiv:0712.1123
Abstract
The goal of this paper is to show how to produce a piece of rigorous bifurcation diagram of periodic orbits for an ODE. We study the Rossler system, one of the textbook examples of ODEs generating nontrivial dynamics, for the parameter range containing two period doubling bifurcations.
39 pages, 3 figures