{ "id": "0712.1123", "version": "v1", "published": "2007-12-07T12:00:12.000Z", "updated": "2007-12-07T12:00:12.000Z", "title": "Period doubling in the Rossler system - a computer assisted proof", "authors": [ "Daniel Wilczak", "Piotr Zgliczynski" ], "comment": "39 pages, 3 figures", "categories": [ "math.DS", "math.NA" ], "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.", "revisions": [ { "version": "v1", "updated": "2007-12-07T12:00:12.000Z" } ], "analyses": { "keywords": [ "computer assisted proof", "rossler system", "odes generating nontrivial dynamics", "rigorous bifurcation diagram", "periodic orbits" ], "note": { "typesetting": "TeX", "pages": 39, "language": "en", "license": "arXiv", "status": "editable", "adsabs": "2007arXiv0712.1123W" } } }