{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T16:39:21Z","timestamp":1772296761355,"version":"3.50.1"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,1,20]],"date-time":"2011-01-20T00:00:00Z","timestamp":1295481600000},"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":[[2011,4]]},"DOI":"10.1007\/s10208-010-9083-z","type":"journal-article","created":{"date-parts":[[2011,1,19]],"date-time":"2011-01-19T13:09:20Z","timestamp":1295442560000},"page":"211-239","source":"Crossref","is-referenced-by-count":17,"title":["Finite Resolution Dynamics"],"prefix":"10.1007","volume":"11","author":[{"given":"Stefano","family":"Luzzatto","sequence":"first","affiliation":[]},{"given":"Pawe\u0142","family":"Pilarczyk","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,1,20]]},"reference":[{"key":"9083_CR1","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1080\/10586458.2007.10128992","volume":"16","author":"Z. Arai","year":"2007","unstructured":"Z. Arai, On hyperbolic plateaus of the H\u00e9non map, Exp. Math. 16, 181\u2013188 (2007).","journal-title":"Exp. Math."},{"key":"9083_CR2","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1137\/050626429","volume":"5","author":"Z. Arai","year":"2006","unstructured":"Z. Arai, K. Mischaikow, Rigorous computations of homoclinic tangencies, SIAM J. Appl. Dyn. Syst. 5, 280\u2013292 (2006).","journal-title":"SIAM J. Appl. Dyn. Syst."},{"key":"9083_CR3","doi-asserted-by":"crossref","first-page":"757","DOI":"10.1137\/080734935","volume":"8","author":"Z. Arai","year":"2009","unstructured":"Z. Arai, W. Kalies, H. Kokubu, K. Mischaikow, H. Oka, P. Pilarczyk, A\u00a0database schema for the analysis of global dynamics of multiparameter systems, SIAM J. Appl. Dyn. Syst. 8, 757\u2013789 (2009).","journal-title":"SIAM J. Appl. Dyn. Syst."},{"key":"9083_CR4","doi-asserted-by":"crossref","unstructured":"A. Arbieto, C. Matheus, Decidability of chaos for some families of dynamical systems, Found. Comput. Math., 269\u2013275 (2004).","DOI":"10.1007\/s10208-003-0085-y"},{"key":"9083_CR5","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. 133, 73\u2013169 (1991).","journal-title":"Ann. Math."},{"key":"9083_CR6","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1007\/BF01232446","volume":"112","author":"M. Benedicks","year":"1993","unstructured":"M. Benedicks, L.-S. Young, Sinai\u2013Bowen\u2013Ruelle measures for certain H\u00e9non maps, Invent. Math. 112, 541\u2013576 (1993).","journal-title":"Invent. Math."},{"key":"9083_CR7","doi-asserted-by":"crossref","first-page":"725","DOI":"10.2307\/2373370","volume":"92","author":"R. Bowen","year":"1970","unstructured":"R. Bowen, Markov partitions for Axiom A diffeomorphisms, Am. J. Math. 92, 725\u2013747 (1970).","journal-title":"Am. J. Math."},{"key":"9083_CR8","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0081279","volume-title":"Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms","author":"R. Bowen","year":"1975","unstructured":"R. Bowen, Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms, Lecture Notes in Mathematics, vol.\u00a0470 (Springer, Berlin, 1975)."},{"key":"9083_CR9","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/BF01389848","volume":"29","author":"R. Bowen","year":"1975","unstructured":"R. Bowen, D. Ruelle, The ergodic theory of Axiom A flows, Invent. Math. 29, 181\u2013202 (1975).","journal-title":"Invent. Math."},{"issue":"5","key":"9083_CR10","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1016\/S0294-1449(98)80001-2","volume":"15","author":"E. Colli","year":"1998","unstructured":"E. Colli, Infinitely many coexisting strange attractors, Ann. Inst. H. Poincar\u00e9 Anal. Non Lin\u00e9aire 15(5), 539\u2013579 (1998).","journal-title":"Ann. Inst. H. Poincar\u00e9 Anal. Non Lin\u00e9aire"},{"key":"9083_CR11","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"2001","unstructured":"T.H. Cormen, C.E. Leiserson, R.L. Rivest, C. Stein, Introduction to Algorithms, 2nd edn. (MIT Press, Cambridge, 2001).","edition":"2"},{"key":"9083_CR12","series-title":"Mem. Amer. Math. Soc.","volume-title":"A\u00a0Computer-Assisted Proof of Universality for Area-Preserving Maps","author":"J.-P. Eckmann","year":"1984","unstructured":"J.-P. Eckmann, H. Koch, P. Wittwer, A\u00a0Computer-Assisted Proof of Universality for Area-Preserving Maps, Mem. Amer. Math. Soc., vol.\u00a047(289) (Springer, Berlin, 1984), vi+122."},{"key":"9083_CR13","doi-asserted-by":"crossref","first-page":"1759","DOI":"10.1088\/0951-7715\/15\/6\/304","volume":"15","author":"Z. Galias","year":"2002","unstructured":"Z. Galias, Rigorous investigation of the Ikeda map by means of interval arithmetic, Nonlinearity 15, 1759\u20131779 (2002).","journal-title":"Nonlinearity"},{"key":"9083_CR14","first-page":"91","volume":"7","author":"S.V. Gonchenko","year":"2003","unstructured":"S.V. Gonchenko, D.V. Turaev, L.P. Shilprimenikov, On the dynamic properties of diffeomorphisms with homoclinic tangencies, Sovrem. Mat. Prilozh. 7, 91\u2013117 (2003).","journal-title":"Sovrem. Mat. Prilozh."},{"key":"9083_CR15","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/BF01608556","volume":"50","author":"M. H\u00e9non","year":"1976","unstructured":"M. H\u00e9non, A\u00a0two-dimensional mapping with a strange attractor, Commun. Math. Phys. 50, 69\u201377 (1976).","journal-title":"Commun. Math. Phys."},{"key":"9083_CR16","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1007\/s10208-006-0141-2","volume":"6","author":"S. Lynch Hruska","year":"2006","unstructured":"S. Lynch Hruska, A\u00a0numerical method for constructing the hyperbolic structure of complex H\u00e9non mappings, Found. Comput. Math. 6, 427\u2013455 (2006).","journal-title":"Found. Comput. Math."},{"key":"9083_CR17","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1080\/0020716031000070607","volume":"80","author":"D. Jab\u0142o\u0144ski","year":"2003","unstructured":"D. Jab\u0142o\u0144ski, M. Kulczycki, Topological transitivity, mixing and nonwandering set of subshifts of finite type\u2014a numerical approach, Int. J. Comput. Math. 80, 671\u2013677 (2003).","journal-title":"Int. J. Comput. Math."},{"issue":"1","key":"9083_CR18","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF01941800","volume":"81","author":"M.V. Jakobson","year":"1981","unstructured":"M.V. Jakobson, Absolutely continuous invariant measures for one-parameter families of one-dimensional maps, Commun. Math. Phys. 81(1), 39\u201388 (1981).","journal-title":"Commun. Math. Phys."},{"key":"9083_CR19","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/s10208-004-0163-9","volume":"5","author":"W.D. Kalies","year":"2005","unstructured":"W.D. Kalies, K. Mischaikow, R.C.A.M. VanderVorst, An algorithmic approach to chain recurrence, Found. Comput. Math. 5, 409\u2013449 (2005).","journal-title":"Found. Comput. Math."},{"key":"9083_CR20","doi-asserted-by":"crossref","first-page":"1241","DOI":"10.1088\/0951-7715\/20\/5\/010","volume":"20","author":"T. Kapela","year":"2007","unstructured":"T. Kapela, C. Sim\u00f3, Computer assisted proofs for nonsymmetric planar choreographies and for stability of the eight, Nonlinearity 20, 1241\u20131255 (2007).","journal-title":"Nonlinearity"},{"key":"9083_CR21","doi-asserted-by":"crossref","first-page":"1899","DOI":"10.1088\/0951-7715\/16\/6\/302","volume":"16","author":"T. Kapela","year":"2003","unstructured":"T. Kapela, P. Zgliczy\u0144ski, The existence of simple choreographies for the N-body problem\u2014a computer-assisted proof, Nonlinearity 16, 1899\u20131918 (2003).","journal-title":"Nonlinearity"},{"key":"9083_CR22","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1090\/S0273-0979-1982-15008-X","volume":"6","author":"O. Lanford","year":"1982","unstructured":"O. Lanford, A\u00a0computer-assisted proof of the Feigenbaum conjectures, Bull. Am. Math. Soc. 6, 427\u2013434 (1982).","journal-title":"Bull. Am. Math. Soc."},{"key":"9083_CR23","doi-asserted-by":"crossref","first-page":"1657","DOI":"10.1088\/0951-7715\/19\/7\/013","volume":"19","author":"S. Luzzatto","year":"2006","unstructured":"S. Luzzatto, H. Takahasi, Computable conditions for the occurrence of non-uniform hyperbolicity in families of one-dimensional maps, Nonlinearity 19, 1657\u20131695 (2006).","journal-title":"Nonlinearity"},{"key":"9083_CR24","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF02698857","volume":"89","author":"S. Luzzatto","year":"1999","unstructured":"S. Luzzatto, W. Tucker, Non-uniformly expanding dynamics in maps with singularities and criticalities, Inst. Ht. Etudes Sci. Publ. Math. 89, 179\u2013226 (1999).","journal-title":"Inst. Ht. Etudes Sci. Publ. Math."},{"issue":"xiii","key":"9083_CR25","first-page":"201","volume":"261","author":"S. Luzzatto","year":"2000","unstructured":"S. Luzzatto, M. Viana, Positive Lyapunov exponents for Lorenz-like families with criticalities, Ast\u00e9risque 261(xiii), 201\u2013237 (2000).","journal-title":"Ast\u00e9risque"},{"key":"9083_CR26","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/s00220-005-1411-9","volume":"260","author":"S. Luzzatto","year":"2005","unstructured":"S. Luzzatto, I. Melbourne, F. Paccaut, The Lorenz attractor is mixing, Commun. Math. Phys. 260, 393\u2013401 (2005).","journal-title":"Commun. Math. Phys."},{"key":"9083_CR27","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\u00a0computer assisted proof, Bull. Am. Math. Soc. 33, 66\u201372 (1995).","journal-title":"Bull. Am. Math. Soc."},{"key":"9083_CR28","volume-title":"Interval Analysis","author":"R.E. Moore","year":"1966","unstructured":"R.E. Moore, Interval Analysis (Prentice-Hall, Inc., Englewood Cliffs, 1966)."},{"issue":"4","key":"9083_CR29","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(4), 83\u2013104 (1996).","journal-title":"Comput. Math. Appl."},{"key":"9083_CR30","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1023\/A:1022615629693","volume":"11","author":"M. Mrozek","year":"1999","unstructured":"M. Mrozek, An algorithm approach to the Conley index theory, J. Dyn. Differ. Equ. 11, 711\u2013734 (1999).","journal-title":"J. Dyn. Differ. Equ."},{"key":"9083_CR31","series-title":"Progr. Nonlinear Differential Equations Appl.","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/978-1-4612-0081-9_5","volume-title":"Proceedings of the Conference on Variational and Topological Methods in the Study of Nonlinear Phenomena","author":"M. Mrozek","year":"2002","unstructured":"M. Mrozek, P. Pilarczyk, The Conley index and rigorous numerics for attracting periodic orbits, in Proceedings of the Conference on Variational and Topological Methods in the Study of Nonlinear Phenomena, Pisa, 2000. Progr. Nonlinear Differential Equations Appl., vol.\u00a049 (Birkh\u00e4user, Boston, 2002), pp.\u00a065\u201374."},{"key":"9083_CR32","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\u201371 (1993).","journal-title":"Acta Math."},{"key":"9083_CR33","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0040-9383(74)90034-2","volume":"13","author":"S.E. Newhouse","year":"1974","unstructured":"S.E. Newhouse, Diffeomorphisms with infinitely many sinks, Topology 13, 9\u201318 (1974).","journal-title":"Topology"},{"key":"9083_CR34","doi-asserted-by":"crossref","first-page":"441","DOI":"10.2307\/121002","volume":"148","author":"M.J. Pacifico","year":"1998","unstructured":"M.J. Pacifico, A. Rovella, M. Viana, Infinite-modal maps with global chaotic behavior, Ann. Math. 148, 441\u2013484 (1998).","journal-title":"Ann. Math."},{"key":"9083_CR35","volume-title":"Hyperbolicity and Sensitive Chaotic Dynamics at Homoclinic Bifurcations","author":"J. Palis","year":"1993","unstructured":"J. Palis, F. Takens, Hyperbolicity and Sensitive Chaotic Dynamics at Homoclinic Bifurcations (Cambridge University Press, Cambridge, 1993)."},{"key":"9083_CR36","doi-asserted-by":"crossref","first-page":"365","DOI":"10.12775\/TMNA.1999.019","volume":"13","author":"P. Pilarczyk","year":"1999","unstructured":"P. Pilarczyk, Computer assisted method for proving existence of periodic orbits, Topol. Methods Nonlinear Anal. 13, 365\u2013377 (1999).","journal-title":"Topol. Methods Nonlinear Anal."},{"key":"9083_CR37","unstructured":"P. Pilarczyk, Finite resolution dynamics. Software and examples, http:\/\/www.pawelpilarczyk.com\/finresdyn\/ ."},{"key":"9083_CR38","unstructured":"P. Pilarczyk, Topological-numerical approach to the existence of periodic trajectories in ODEs, Discrete and Continuous Dynamical Systems 2003, A\u00a0Supplement Volume: Dynamical Systems and Differential Equations, pp.\u00a0701\u2013708."},{"key":"9083_CR39","doi-asserted-by":"crossref","first-page":"1149","DOI":"10.1016\/j.topol.2008.02.003","volume":"155","author":"P. Pilarczyk","year":"2008","unstructured":"P. Pilarczyk, K. Stolot, Excision-preserving cubical approach to the algorithmic computation of the discrete Conley index, Topol. Appl. 155, 1149\u20131162 (2008).","journal-title":"Topol. Appl."},{"key":"9083_CR40","first-page":"64","volume":"2","author":"J.G. Sina\u012d","year":"1968","unstructured":"J.G. Sina\u012d, Markov partitions and U-diffeomorphisms, Funkc. Anal. Prilozh. 2, 64\u201389 (1968).","journal-title":"Funkc. Anal. Prilozh."},{"key":"9083_CR41","doi-asserted-by":"crossref","first-page":"1075","DOI":"10.1017\/S0308210500026901","volume":"127","author":"A. Szymczak","year":"1997","unstructured":"A. Szymczak, A\u00a0combinatorial procedure for finding isolating neighbourhoods and index pairs, Proc. R. Soc. Edinb. A 127, 1075\u20131088 (1997).","journal-title":"Proc. R. Soc. Edinb. A"},{"key":"9083_CR42","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R. Tarjan","year":"1972","unstructured":"R. Tarjan, Depth-first search and linear graph algorithms, SIAM J. Comput. 1, 146\u2013160 (1972).","journal-title":"SIAM J. Comput."},{"key":"9083_CR43","doi-asserted-by":"crossref","first-page":"767","DOI":"10.1017\/S0143385799130177","volume":"19","author":"H. Thunberg","year":"1999","unstructured":"H. Thunberg, Positive exponent in families with flat critical point, Ergod. Theory Dyn. Syst. 19, 767\u2013807 (1999).","journal-title":"Ergod. Theory Dyn. Syst."},{"issue":"1","key":"9083_CR44","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF01231282","volume":"111","author":"M. Tsujii","year":"1993","unstructured":"M. Tsujii, Positive Lyapunov exponents in families of one-dimensional dynamical systems, Invent. Math. 111(1), 113\u2013137 (1993).","journal-title":"Invent. Math."},{"key":"9083_CR45","doi-asserted-by":"crossref","first-page":"1197","DOI":"10.1016\/S0764-4442(99)80439-X","volume":"328","author":"W. Tucker","year":"1999","unstructured":"W. Tucker, The Lorenz attractor exists, C.R. Acad. Sci. Paris, S\u00e9r. I 328, 1197\u20131202 (1999).","journal-title":"C.R. Acad. Sci. Paris, S\u00e9r. I"},{"key":"9083_CR46","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\u201397 (2001).","journal-title":"Commun. Math. Phys."},{"key":"9083_CR47","unstructured":"Wikipedia contributors, Aperiodic graph, Wikipedia, The Free Encyclopedia (2008), http:\/\/en.wikipedia.org\/w\/index.php?title=Aperiodic_graph&oldid=224030707 ."},{"key":"9083_CR48","unstructured":"Wikipedia contributors, Tarjan\u2019s strongly connected components algorithm, Wikipedia, The Free Encyclopedia (2009), http:\/\/en.wikipedia.org\/w\/index.php?title=Tarjan%27s_strongly_connected_components_algorithm&oldid=295022950 ."},{"key":"9083_CR49","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/s10208-002-0080-8","volume":"4","author":"P. Zgliczy\u0144ski","year":"2004","unstructured":"P. Zgliczy\u0144ski, Rigorous numerics for dissipative partial differential equations. II. Periodic orbit for the Kuramoto\u2013Sivashinsky PDE\u2014a computer-assisted proof, Found. Comput. Math. 4, 157\u2013185 (2004).","journal-title":"Found. Comput. Math."}],"container-title":["Foundations of Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-010-9083-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10208-010-9083-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-010-9083-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T20:25:35Z","timestamp":1559939135000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10208-010-9083-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1,20]]},"references-count":49,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,4]]}},"alternative-id":["9083"],"URL":"https:\/\/doi.org\/10.1007\/s10208-010-9083-z","relation":{},"ISSN":["1615-3375","1615-3383"],"issn-type":[{"value":"1615-3375","type":"print"},{"value":"1615-3383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,1,20]]}}}