{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,3]],"date-time":"2025-11-03T22:55:46Z","timestamp":1762210546866},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2009,4,9]],"date-time":"2009-04-09T00:00:00Z","timestamp":1239235200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Found Comput Math"],"published-print":{"date-parts":[[2009,10]]},"DOI":"10.1007\/s10208-009-9040-x","type":"journal-article","created":{"date-parts":[[2009,4,8]],"date-time":"2009-04-08T19:43:00Z","timestamp":1239219780000},"page":"611-649","source":"Crossref","is-referenced-by-count":26,"title":["Period Doubling in the R\u00f6ssler System\u2014A Computer Assisted Proof"],"prefix":"10.1007","volume":"9","author":[{"given":"Daniel","family":"Wilczak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piotr","family":"Zgliczy\u0144ski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,4,9]]},"reference":[{"key":"9040_CR1","first-page":"7","volume-title":"Topics in Validated Computations","author":"G. Alefeld","year":"1994","unstructured":"G. Alefeld, Inclusion methods for systems of nonlinear equations\u2014the interval Newton method and modifications, in Topics in Validated Computations, ed. by J. Herzberger (Elsevier, Amsterdam, 1994), pp. 7\u201326."},{"key":"9040_CR2","unstructured":"A. Andronov, Mathematical Problems of self-oscillation theory, in I All-Union Conference on Oscillations, November 1931, GTTI, Moscow-Leningrad 1933, pp. 32\u201371."},{"key":"9040_CR3","series-title":"Encyclopedia of Mathematical Sciences","volume-title":"Dynamical Systems","author":"V. Arnold","year":"1994","unstructured":"V. Arnold, V. Afraimovich, Y. Ilyashenko, L. Silnikov, Theory of bifurcations, in Dynamical Systems, ed. by V. Arnold. Encyclopedia of Mathematical Sciences, vol. 5 (Springer, New York, 1994)."},{"issue":"1","key":"9040_CR4","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2944326","volume":"133","author":"M. Benedicks","year":"1991","unstructured":"M. Benedicks, L. Carleson, The dynamics of the H\u00e9non map, Ann. Math. 2 133(1), 73\u2013169 (1991).","journal-title":"Ann. Math. 2"},{"key":"9040_CR5","unstructured":"CAPD\u2013Computer Assisted Proofs in Dynamics group, a C++ package for rigorous numerics, http:\/\/capd.wsb-nlu.edu.pl ."},{"key":"9040_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8159-4","volume-title":"Methods of Bifurcation Theory","author":"S.-N. Chow","year":"1982","unstructured":"S.-N. Chow, J. Hale, Methods of Bifurcation Theory (Springer, New York, 1982)."},{"key":"9040_CR7","volume-title":"Bifurcation of Maps and Applications","author":"G. Iooss","year":"1979","unstructured":"G. Iooss, Bifurcation of Maps and Applications (North-Holland, Amsterdam, 1979)."},{"key":"9040_CR8","unstructured":"GNU Multiple Precision Arithmetic Library, http:\/\/gmplib.org ."},{"key":"9040_CR9","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/B978-0-12-045550-8.50007-4","volume-title":"Differential Equations","author":"J. Hale","year":"1980","unstructured":"J. Hale, Stability from the bifurcation function, in Differential Equations, ed. by S. Ahmed, M.B. Keener, A.C. Lazer, Proc. Eighth Fall Conf., Oklahoma State Univ. Stillwater Okla, 1979 (Academic Press, San Diego, 1980), pp. 23\u201330."},{"key":"9040_CR10","series-title":"Lecture Notes in Mathematics","volume-title":"Invariant Manifolds","author":"M.W. Hirsch","year":"1997","unstructured":"M.W. Hirsch, C.C. Pugh, M. Shub, Invariant Manifolds. Lecture Notes in Mathematics, vol.\u00a0583 (Springer, Berlin, 1997)."},{"key":"9040_CR11","volume-title":"Transversal Mappings and Flows","author":"A. Kelley","year":"1967","unstructured":"A. Kelley, The stable, Center-stable, center-unstable, unstable manifolds, in Transversal Mappings and Flows, ed. by R. Abraham, J. Robbin (Benjamin, Elmsford, 1967)."},{"key":"9040_CR12","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BF02234767","volume":"4","author":"R. Krawczyk","year":"1969","unstructured":"R. Krawczyk, Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschanken, Computing 4, 187\u2013201 (1969).","journal-title":"Computing"},{"key":"9040_CR13","series-title":"Applied Mathematical Sciences","volume-title":"Elements of Applied Bifurcation Theory","author":"Y. Kuzniecov","year":"1994","unstructured":"Y. Kuzniecov, Elements of Applied Bifurcation Theory. Applied Mathematical Sciences, vol. 112 (Springer, Berlin, 1994)."},{"key":"9040_CR14","volume-title":"Computational Ordinary Differential Equations","author":"R.J. Lohner","year":"1992","unstructured":"R.J. Lohner, Computation of guaranteed enclosures for the solutions of ordinary initial and boundary value problems, in Computational Ordinary Differential Equations, ed. by J.R. Cash, I. Gladwell (Clarendon Press, Oxford, 1992)."},{"key":"9040_CR15","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1016\/S1874-575X(02)80030-3","volume-title":"Handbook of Dynamical Systems III: Towards Applications","author":"K. Mischaikow","year":"2002","unstructured":"K. Mischaikow, M. Mrozek, The Conley index theory, in Handbook of Dynamical Systems III: Towards Applications, ed. by B. Fiedler, G. Iooss, N. Kopell (Elsevier, Amsterdam, 2002), pp. 393\u2013460."},{"key":"9040_CR16","unstructured":"A C library for multiple-precision floating-point computations with correct rounding, http:\/\/www.mpfr.org ."},{"key":"9040_CR17","volume-title":"Interval Analysis","author":"R.E. Moore","year":"1966","unstructured":"R.E. Moore, Interval Analysis (Prentice Hall, Englewood Cliffs, 1966)."},{"issue":"1","key":"9040_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02392766","volume":"171","author":"L. Mora","year":"1993","unstructured":"L. Mora, M. Viana, Abundance of strange attractors, Acta Math. 171(1), 1\u201371 (1993).","journal-title":"Acta Math."},{"key":"9040_CR19","volume-title":"Interval Methods for Systems of Equations","author":"A. Neumeier","year":"1990","unstructured":"A. Neumeier, Interval Methods for Systems of Equations (Cambridge University Press, Cambridge, 1990)."},{"key":"9040_CR20","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/978-94-017-1247-7_23","volume-title":"Developments in Reliable Computing","author":"N.S. Nedialkov","year":"1999","unstructured":"N.S. Nedialkov, K.R. Jackson, An interval Hermite-Obreschkoff method for computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation, in Developments in Reliable Computing, Budapest, 1998 (Kluwer Academic, Dordrecht, 1999), pp. 289\u2013310."},{"issue":"4","key":"9040_CR21","doi-asserted-by":"crossref","first-page":"577","DOI":"10.2748\/tmj\/1178229542","volume":"32","author":"J.C.F. Oliveira de","year":"1980","unstructured":"J.C.F. de Oliveira, J. Hale, Dynamic behavior from bifurcation equations, T\u00f4hoku Math. J. 32(4), 577\u2013592 (1980).","journal-title":"T\u00f4hoku Math. J."},{"key":"9040_CR22","unstructured":"P. Pilarczyk, Topological numerical approach to the existence of periodic trajectories, in ODE\u2019s, Discrete and Continuous Dynamical Systems, A Supplement Volume: Dynamical Systems and Differential Equations (2003), pp. 701\u2013708."},{"issue":"5","key":"9040_CR23","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1016\/0375-9601(76)90101-8","volume":"57","author":"O.E. R\u00f6ssler","year":"1976","unstructured":"O.E. R\u00f6ssler, An equation for continuous chaos, Phys. Lett. A 57(5), 397\u2013398 (1976).","journal-title":"Phys. Lett. A"},{"key":"9040_CR24","unstructured":"The IEEE Standard for Binary Floating-Point Arithmetics, ANSI-IEEE Std 754 (1985)."},{"key":"9040_CR25","volume-title":"Stabilit\u00e9 Structurelle et Morphogen\u00e9se","author":"R. Thom","year":"1972","unstructured":"R. Thom, Stabilit\u00e9 Structurelle et Morphogen\u00e9se (Benjamin, Elmsford, 1972)."},{"key":"9040_CR26","unstructured":"D. Wilczak, http:\/\/www.ii.uj.edu.pl\/~wilczak . A reference for auxiliary materials."},{"issue":"1","key":"9040_CR27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s002200100379","volume":"218","author":"Q. Wang","year":"2001","unstructured":"Q. Wang, L.-S. Young, Strange attractors with one direction of instability, Commun. Math. Phys. 218(1), 1\u201397 (2001).","journal-title":"Commun. Math. Phys."},{"issue":"2","key":"9040_CR28","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/s002200100582","volume":"225","author":"Q. Wang","year":"2002","unstructured":"Q. Wang, L.-S. Young, From invariant curves to strange attractors, Commun. Math. Phys. 225(2), 275\u2013304 (2002).","journal-title":"Commun. Math. Phys."},{"key":"9040_CR29","unstructured":"D. Wilczak, P. Zgliczy\u0144ski, C r -Lohner algorithm, available at http:\/\/www.ii.uj.edu.pl\/~wilczak ."},{"key":"9040_CR30","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/s102080010025","volume":"2","author":"P. Zgliczy\u0144ski","year":"2002","unstructured":"P. Zgliczy\u0144ski, C 1-Lohner algorithm, Found. Comput. Math. 2, 429\u2013465 (2002).","journal-title":"Found. Comput. Math."},{"issue":"1","key":"9040_CR31","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1088\/0951-7715\/10\/1\/016","volume":"10","author":"P. Zgliczy\u0144ski","year":"1997","unstructured":"P. Zgliczy\u0144ski, Computer assisted proof of chaos in the H\u00e9non map and in the R\u00f6ssler equations, Nonlinearity 10(1), 243\u2013252 (1997).","journal-title":"Nonlinearity"}],"container-title":["Foundations of Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-009-9040-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10208-009-9040-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-009-9040-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T11:05:10Z","timestamp":1559127910000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10208-009-9040-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4,9]]},"references-count":31,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2009,10]]}},"alternative-id":["9040"],"URL":"https:\/\/doi.org\/10.1007\/s10208-009-9040-x","relation":{},"ISSN":["1615-3375","1615-3383"],"issn-type":[{"value":"1615-3375","type":"print"},{"value":"1615-3383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,4,9]]}}}