{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T00:18:18Z","timestamp":1787271498390,"version":"build-2736575974"},"reference-count":44,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Appl. Dyn. Syst."],"published-print":{"date-parts":[[2010,1]]},"abstract":"<jats:p>We describe an automatic chaos verification scheme, based on set-oriented numerical methods, which is especially well suited to the study of area- and volume preserving diffeomorphisms. The novel feature of the scheme is an iterative algorithm for approximating connecting orbits between collections of hyperbolic fixed and periodic points with greater and greater accuracy. The algorithm is geometric rather than graph theoretic in nature and, in contrast to existing methods, does not require the computation of chain recurrent sets. We provide several example computations in dimensions two and three.<\/jats:p>","DOI":"10.1137\/090776330","type":"journal-article","created":{"date-parts":[[2010,10,14]],"date-time":"2010-10-14T18:12:28Z","timestamp":1287079948000},"page":"1164-1200","source":"Crossref","is-referenced-by-count":3,"title":["Adaptive Set-Oriented Computation of Topological Horseshoe Factors in Area and Volume Preserving Maps"],"prefix":"10.1137","volume":"9","author":[{"given":"J. D. Mireles","family":"James","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"351","published-online":{"date-parts":[[2010,10,14]]},"reference":[{"key":"R1","doi-asserted-by":"publisher","DOI":"10.1137\/080734935"},{"key":"R2","doi-asserted-by":"publisher","DOI":"10.1016\/S0375-9601(98)00270-9"},{"key":"R3","doi-asserted-by":"publisher","DOI":"10.1016\/0375-9601(95)00502-T"},{"key":"R4","doi-asserted-by":"publisher","DOI":"10.1016\/0167-2789(94)00189-W"},{"key":"R5","doi-asserted-by":"publisher","DOI":"10.1007\/BF02104512"},{"key":"R6","unstructured":"T. Cormen, C. Leiserson, R. Rivest, and C. Stein,\n                      Introduction to Algorithms\n                      , 2nd ed., MIT Press, Cambridge, MA, 2001."},{"key":"R7","doi-asserted-by":"publisher","DOI":"10.1137\/070688080"},{"key":"R8","doi-asserted-by":"publisher","DOI":"10.1137\/030600210"},{"key":"R9","doi-asserted-by":"crossref","unstructured":"S. Day, O. Junge, and K. Mischaikow,\n                      Towards automated chaos verification\n                      , in EQUADIFF 2003, World Scientific Publishing, Hackensack, NJ, 2005, pp. 157\u2013162.","DOI":"10.1142\/9789812702067_0014"},{"key":"R10","unstructured":"M. Dellnitz,\n                      GAIO\u2014Global Analysis of Invariant Objects\n                      , software described at http:\/\/www2.math.uni-paderborn.de\/ags\/ag-dellnitz\/software.html http:\/\/www2.math.uni-paderborn.de\/ags\/ag-dellnitz\/software.html."},{"key":"R11","doi-asserted-by":"crossref","unstructured":"M. Dellnitz and A. Hohmann,\n                      The computation of unstable manifolds using subdivision and continuation\n                      , in Nonlinear Dynamical Systems and Chaos (Groningen, 1995), Progr. Nonlinear Differential Equations Appl. 19, Birkh\u00e4user-Verlag, Basel, Switzerland, 1996, pp. 449\u2013459.","DOI":"10.1007\/978-3-0348-7518-9_21"},{"key":"R12","doi-asserted-by":"publisher","DOI":"10.1007\/s002110050240"},{"key":"R13","doi-asserted-by":"publisher","DOI":"10.1142\/S0218127405012545"},{"key":"R14","doi-asserted-by":"publisher","DOI":"10.1007\/s10569-006-9008-y"},{"key":"R15","doi-asserted-by":"publisher","DOI":"10.3934\/dcdsb.2001.1.125"},{"key":"R16","doi-asserted-by":"publisher","DOI":"10.1007\/BF01026490"},{"key":"R17","unstructured":"M. Gidea and R. de la Llave,\n                      Arnold Diffusion with Optimal Time in the Large Gap Problem\n                      , preprint."},{"key":"R18","doi-asserted-by":"crossref","first-page":"295","DOI":"10.3934\/dcds.2006.14.295","volume":"14","author":"Gidea M.","year":"2006","journal-title":"Discrete Contin. Dynam. Systems","ISSN":"https:\/\/id.crossref.org\/issn\/1078-0947","issn-type":"print"},{"key":"R19","doi-asserted-by":"crossref","unstructured":"M. Gidea and C. Robinson,\n                      Symbolic dynamics for transition tori.\n                      II, in New Advances in Celestial Mechanics and Hamiltonian Systems, Kluwer\/Plenum, New York, 2004, pp. 95\u2013108.","DOI":"10.1007\/978-1-4419-9058-7_6"},{"key":"R20","doi-asserted-by":"publisher","DOI":"10.3934\/dcdss.2009.2.393"},{"key":"R21","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2004.08.005"},{"key":"R22","unstructured":"M.R. Herman, R. McGehee, and E. Zehnder, eds.\n                      Charles Conley Memorial Volume\n                      , Special Issue of Ergodic Theory and Dynamical Systems, Vol. 8, Cambridge University Press, Cambridge, UK, 1988."},{"key":"R23","doi-asserted-by":"publisher","DOI":"10.1080\/14689360109696233"},{"key":"R24","doi-asserted-by":"crossref","unstructured":"T. Kaczynski, K. Mischaikow, and M. Mrozek,\n                      Computational Homology\n                      , Appl. Math. Sci. 157, Springer-Verlag, New York, 2004.","DOI":"10.1007\/b97315"},{"key":"R25","doi-asserted-by":"publisher","DOI":"10.1115\/1.2338651"},{"key":"R26","doi-asserted-by":"publisher","DOI":"10.1007\/s10208-004-0163-9"},{"key":"R27","doi-asserted-by":"crossref","unstructured":"A. Katok and B. Hasselblatt,\n                      Introduction to the Modern Theory of Dynamical Systems\n                      , Encyclopedia Math. Appl. 54, Cambridge University Press, Cambridge, UK, 1995.","DOI":"10.1017\/CBO9780511809187"},{"key":"R28","unstructured":"M. Lee, F. Musser, P. Plauger, and A. Stepanov,\n                      The C++ Standard Template Library, User Guide and Reference Manual\n                      , Prentice\u2013Hall, Englewood Cliffs, NJ, 2000."},{"key":"R29","unstructured":"A. Lumsdaine, J. Siek, and L. Lee,\n                      The Boost Graph Library, User Guide and Reference Manual\n                      , Addison\u2013Wesley Professional, Reading, MA, 2001."},{"key":"R30","unstructured":"J. D. Mireles James,\n                      ACVLCM++: Automated chaos verification library for conservative maps (dynamical systems software in C++)\n                      , online at http:\/\/www.math.utexas.edu\/users\/jjames\/codes\/ACVLCM++."},{"key":"R31","doi-asserted-by":"crossref","unstructured":"K. Mischaikow,\n                      The Conley index theory: A brief introduction\n                      , in Conley Index Theory (Warsaw, 1997), Banach Center Publ. 47, Polish Academy of Science, Warsaw, 1999, pp. 9\u201319.","DOI":"10.4064\/-47-1-9-19"},{"key":"R32","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-98-00945-4"},{"key":"R33","doi-asserted-by":"publisher","DOI":"10.1007\/s10208-004-0125-2"},{"key":"R34","unstructured":"G. Osipenko,\n                      Dynamical Systems, Graphs, and Algorithms\n                      , Lecture Notes in Math. 1889, Springer-Verlag, Berlin, 2007 (Appendix A by N. B. Ampilova and Appendix B by D. Fundinger)."},{"key":"R35","doi-asserted-by":"crossref","unstructured":"J. Palis, Jr., and W. de Melo,\n                      Geometric Theory of Dynamical Systems, An Introduction\n                      (translated from the Portuguese by A. K. Manning), Springer-Verlag, New York, 1982.","DOI":"10.1007\/978-1-4612-5703-5"},{"key":"R36","unstructured":"P. Pilarczyk,\n                      The CHomP Software\n                      , available at the website of the Computational Homology Project, http:\/\/chomp.rutgers.edu\/, 1997."},{"key":"R37","doi-asserted-by":"publisher","DOI":"10.1016\/j.topol.2008.02.003"},{"key":"R38","doi-asserted-by":"crossref","unstructured":"C. Robinson,\n                      Symbolic dynamics for transition tori\n                      , in Celestial Mechanics (Evanston, IL, 1999), Contemp. Math. 292, Amer. Math. Soc., Providence, RI, 2002, pp. 199\u2013208.","DOI":"10.1090\/conm\/292\/04925"},{"key":"R39","doi-asserted-by":"crossref","unstructured":"S. Smale,\n                      Diffeomorphisms with many periodic points\n                      , in Differential and Combinatorial Topology (A Symposium in Honor of Marston Morse), Princeton University Press, Princeton, NJ, 1965, pp. 63\u201380.","DOI":"10.1515\/9781400874842-006"},{"key":"R40","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-99-05467-2"},{"key":"R41","doi-asserted-by":"publisher","DOI":"10.1016\/0375-9601(94)90097-3"},{"key":"R42","doi-asserted-by":"publisher","DOI":"10.1016\/0166-8641(95)0003J-S"},{"key":"R43","doi-asserted-by":"publisher","DOI":"10.1017\/S0308210500026901"},{"key":"R44","doi-asserted-by":"crossref","unstructured":"D. Yang,\n                      C++ and Object-oriented Numeric Computing for Scientists and Engineers\n                      , Springer, New York, 2000.","DOI":"10.1007\/978-1-4613-0189-9"}],"container-title":["SIAM Journal on Applied Dynamical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/090776330","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,20]],"date-time":"2026-08-20T13:15:40Z","timestamp":1787231740000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/090776330"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1]]},"references-count":44,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,1]]}},"alternative-id":["10.1137\/090776330"],"URL":"https:\/\/doi.org\/10.1137\/090776330","relation":{},"ISSN":["1536-0040"],"issn-type":[{"value":"1536-0040","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1]]}}}