{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T20:38:20Z","timestamp":1759091900155},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,8,13]],"date-time":"2009-08-13T00:00:00Z","timestamp":1250121600000},"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":[[2010,4]]},"DOI":"10.1007\/s10208-009-9053-5","type":"journal-article","created":{"date-parts":[[2009,8,12]],"date-time":"2009-08-12T03:00:12Z","timestamp":1250046012000},"page":"191-220","source":"Crossref","is-referenced-by-count":7,"title":["Topological Approach to Rigorous Numerics of Chaotic Dynamical Systems with Strong Expansion of Error Bounds"],"prefix":"10.1007","volume":"10","author":[{"given":"Marian","family":"Mrozek","sequence":"first","affiliation":[]},{"given":"Roman","family":"Srzednicki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,8,13]]},"reference":[{"key":"9053_CR1","unstructured":"ANSI\/IEEE Standard 754\u20131985, Standard for Binary Floating Point Arithmetic."},{"key":"9053_CR2","unstructured":"CAPD interval arithmetic library. http:\/\/capd.wsb-nlu.edu.pl ."},{"key":"9053_CR3","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1090\/S0002-9947-1971-0279830-1","volume":"158","author":"C. Conley","year":"1971","unstructured":"C. Conley, R. Easton, Isolated invariant sets and isolating blocks, Trans. Am. Math. Soc. 158, 35\u201361 (1971).","journal-title":"Trans. Am. Math. Soc."},{"key":"9053_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-67821-9","volume-title":"Lectures on Algebraic Topology","author":"A. Dold","year":"1980","unstructured":"A. Dold, Lectures on Algebraic Topology, 2 edn. (Springer, Berlin, 1980).","edition":"2"},{"key":"9053_CR5","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1093\/imanum\/12.3.319","volume":"12","author":"D.F. Griffiths","year":"1992","unstructured":"D.F. Griffiths, P.K. Sweby, H.C. Yee, Spurious steady state solutions of explicit Runge-Kutta schemes, IMA J. Numer. Anal. 12, 319\u2013338 (1992).","journal-title":"IMA J. Numer. Anal."},{"key":"9053_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4426-4","volume-title":"Dynamics and Bifurcations","author":"J.K. Hale","year":"1991","unstructured":"J.K. Hale, H. Ko\u00e7ak, Dynamics and Bifurcations (Springer, New York, 1991)."},{"key":"9053_CR7","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1093\/imanum\/13.2.263","volume":"13","author":"A.R. Humphries","year":"1993","unstructured":"A.R. Humphries, Spurious solutions of numerical methods for initial value problems, IMA J. Numer. Anal. 13, 263\u2013290 (1993).","journal-title":"IMA J. Numer. Anal."},{"key":"9053_CR8","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1090\/S0273-0979-1983-15156-X","volume":"9","author":"Yu.T. Lisica","year":"1983","unstructured":"Yu.T. Lisica, S. Marde\u0161i\u0107, Steenrod-Sitnikov homology for arbitrary spaces, Bull. Am. Math. Soc. (N.S.) 9, 207\u2013210 (1983).","journal-title":"Bull. Am. Math. Soc. (N.S.)"},{"key":"9053_CR9","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":"9053_CR10","volume-title":"Homology and Cohomology Theory","author":"W. Massey","year":"1978","unstructured":"W. Massey, Homology and Cohomology Theory (Marcel, New York, 1978)."},{"key":"9053_CR11","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1090\/S0273-0979-1995-00558-6","volume":"33","author":"K. Mischaikow","year":"1995","unstructured":"K. Mischaikow, M. Mrozek, Chaos in Lorenz equations: a computer assisted proof, Bull. Am. Math. Soc. (N.S.) 33, 66\u201372 (1995).","journal-title":"Bull. Am. Math. Soc. (N.S.)"},{"key":"9053_CR12","doi-asserted-by":"crossref","first-page":"1023","DOI":"10.1090\/S0025-5718-98-00945-4","volume":"67","author":"K. Mischaikow","year":"1998","unstructured":"K. Mischaikow, M. Mrozek, Chaos in the Lorenz equations: a computer assisted proof. Part II: details, Math. Comput. 67, 1023\u20131046 (1998).","journal-title":"Math. Comput."},{"key":"9053_CR13","volume-title":"Interval Analysis","author":"R.E. Moore","year":"1966","unstructured":"R.E. Moore, Interval Analysis (Prentice Hall, Englewood Cliffs, 1966)."},{"key":"9053_CR14","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1090\/S0002-9947-1990-0968888-1","volume":"318","author":"M. Mrozek","year":"1990","unstructured":"M. Mrozek, Leray functor and the cohomological Conley index for discrete dynamical systems, Trans. Am. Math. Soc. 318, 149\u2013178 (1990).","journal-title":"Trans. Am. Math. Soc."},{"key":"9053_CR15","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0898-1221(96)00127-7","volume":"32","author":"M. Mrozek","year":"1996","unstructured":"M. Mrozek, Topological invariants, multivalued maps and computer assisted proofs in dynamics, Comput. Math. Appl. 32, 83\u2013104 (1996).","journal-title":"Comput. Math. Appl."},{"key":"9053_CR16","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1007\/s10208-005-0182-1","volume":"6","author":"M. Mrozek","year":"2006","unstructured":"M. Mrozek, Index pairs algorithms, Found. Comput. Math. 6, 457\u2013493 (2006).","journal-title":"Found. Comput. Math."},{"key":"9053_CR17","first-page":"209","volume":"14","author":"M. Mrozek","year":"2006","unstructured":"M. Mrozek, The method of topological sections in rigorous numerics of dynamical systems, Can. Appl. Math. Q. 14, 209\u2013222 (2006).","journal-title":"Can. Appl. Math. Q."},{"key":"9053_CR18","unstructured":"M. Mrozek, Dynamical Systems Software (2008). http:\/\/www.ii.uj.edu.pl\/~mrozek\/software\/homology.html ."},{"key":"9053_CR19","doi-asserted-by":"crossref","first-page":"237","DOI":"10.4064\/ap-74-1-237-259","volume":"74","author":"M. Mrozek","year":"2000","unstructured":"M. Mrozek, P. Zgliczy\u0144ski, Set arithmetic and the enclosing problem in dynamics, Ann. Pol. Math. 74, 237\u2013259 (2000).","journal-title":"Ann. Pol. Math."},{"key":"9053_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, ed. by T. Csendes (Kluwer Academic, Dordrecht, 1999), pp. 289\u2013310."},{"key":"9053_CR21","first-page":"121","volume-title":"Lecture Notes in Computer Science","author":"K. Nickel","year":"1986","unstructured":"K. Nickel, How to fight the wrapping effect, in Lecture Notes in Computer Science, vol. 212 (Springer, Berlin, 1986), pp. 121\u2013132."},{"key":"9053_CR22","doi-asserted-by":"crossref","first-page":"707","DOI":"10.1016\/0362-546X(94)90223-2","volume":"22","author":"R. Srzednicki","year":"1994","unstructured":"R. Srzednicki, Periodic and bounded solutions in blocks for time-periodic nonautonomous ordinary differential equations, Nonlinear Anal. 22, 707\u2013737 (1994).","journal-title":"Nonlinear Anal."},{"key":"9053_CR23","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S0166-8641(97)00037-0","volume":"81","author":"R. Srzednicki","year":"1997","unstructured":"R. Srzednicki, Generalized Lefschetz fixed point theorem and fixed point index formula, Topol. Appl. 81, 207\u2013224 (1997).","journal-title":"Topol. Appl."},{"key":"9053_CR24","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1016\/S1874-5725(00)80009-7","volume-title":"Handbook of Differential Equations: Ordinary Differential Equations","author":"R. Srzednicki","year":"2004","unstructured":"R. Srzednicki, Wa\u017cewski method and Conley index, in Handbook of Differential Equations: Ordinary Differential Equations, vol. 1, ed. by A. Ca\u00f1ada, P. Dr\u00e1bek, A. Fonda. (Elsevier, Amsterdam, 2004), pp. 591\u2013684."},{"key":"9053_CR25","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1006\/jdeq.1996.3222","volume":"135","author":"R. Srzednicki","year":"1997","unstructured":"R. Srzednicki, K. W\u00f3jcik, A geometric method for detecting chaotic dynamics, J. Differ. Equ. 135, 66\u201382 (1997).","journal-title":"J. Differ. Equ."},{"key":"9053_CR26","volume-title":"Dynamical Systems and Numerical Analysis","author":"A.M. Stuart","year":"1998","unstructured":"A.M. Stuart, A.R. Humphries, Dynamical Systems and Numerical Analysis (Cambridge Univ. Press, Cambridge, 1998)."},{"key":"9053_CR27","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/s002080010018","volume":"2","author":"W. Tucker","year":"2002","unstructured":"W. Tucker, A Rigorous ODE solver and Smale\u2019s 14th problem, Found. Comput. Math. 2, 53\u2013117 (2002).","journal-title":"Found. Comput. Math."},{"key":"9053_CR28","first-page":"253","volume":"4","author":"M. Warmus","year":"1956","unstructured":"M. Warmus, Calculus of approximations, Bull. Acad. Pol. Sci. Cl. III 4, 253\u2013259 (1956).","journal-title":"Bull. Acad. Pol. Sci. Cl. III"},{"key":"9053_CR29","first-page":"210","volume":"3","author":"T. Wa\u017cewski","year":"1947","unstructured":"T. Wa\u017cewski, Une m\u00e9thode topologique de l\u2019examen du ph\u00e9nom\u00e8ne asymptotique relativement aux \u00e9quations diff\u00e9rentielles ordinaires, Rend. Accad. Naz. Lincei, Cl. Sci. Fisiche, Mat. Naturali, Ser. VIII 3, 210\u2013215 (1947).","journal-title":"Rend. Accad. Naz. Lincei, Cl. Sci. Fisiche, Mat. Naturali, Ser. VIII"},{"key":"9053_CR30","first-page":"279","volume":"20","author":"T. Wa\u017cewski","year":"1947","unstructured":"T. Wa\u017cewski, Sur un principe topologique pour l\u2019examen de l\u2019allure asymptotique des int\u00e9grales des \u00e9quations diff\u00e9rentielles ordinaires, Ann. Soc. Pol. Math. 20, 279\u2013313 (1947).","journal-title":"Ann. Soc. Pol. Math."},{"key":"9053_CR31","unstructured":"D. Wilczak, P. Zgliczy\u0144ski, C n -Lohner algorithm. Preprint."},{"key":"9053_CR32","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."},{"key":"9053_CR33","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1006\/jdeq.1999.3696","volume":"161","author":"P. Zgliczy\u0144ski","year":"2000","unstructured":"P. Zgliczy\u0144ski, K. W\u00f3jcik, Isolating segments, fixed point index, and symbolic dynamics, J. Differ. Equ. 161, 245\u2013288 (2000).","journal-title":"J. Differ. Equ."}],"container-title":["Foundations of Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-009-9053-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10208-009-9053-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-009-9053-5","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-9053-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,13]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,4]]}},"alternative-id":["9053"],"URL":"https:\/\/doi.org\/10.1007\/s10208-009-9053-5","relation":{},"ISSN":["1615-3375","1615-3383"],"issn-type":[{"value":"1615-3375","type":"print"},{"value":"1615-3383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,8,13]]}}}