{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:12:37Z","timestamp":1763457157130},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540959717"},{"type":"electronic","value":"9783540959724"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-95972-4_2","type":"book-chapter","created":{"date-parts":[[2009,2,2]],"date-time":"2009-02-02T13:45:35Z","timestamp":1233582335000},"page":"25-51","source":"Crossref","is-referenced-by-count":4,"title":["Computational Methods for Rigorous Analysis of Chaotic Systems"],"prefix":"10.1007","author":[{"given":"Zbigniew","family":"Galias","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970906","volume-title":"Methods and applications of interval analysis","author":"R. Moore","year":"1979","unstructured":"Moore, R.: Methods and applications of interval analysis. SIAM, Philadelphia (1979)"},{"key":"2_CR2","volume-title":"Introduction to interval computations","author":"G. Alefeld","year":"1983","unstructured":"Alefeld, G., Herzberger, J.: Introduction to interval computations. Academic Press, New York (1983)"},{"key":"2_CR3","first-page":"225","volume-title":"Computerarithmetic, Scientific Computation and Programming Languages","author":"R. Lohner","year":"1987","unstructured":"Lohner, R.: Enclosing the solutions of ordinary initial and boundary value problems. In: Computerarithmetic, Scientific Computation and Programming Languages, pp. 225\u2013286. Teubner, Stuttgart (1987)"},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1111\/1467-8659.1550287","volume":"15","author":"L. Figueiredo","year":"1996","unstructured":"Figueiredo, L., Stolfi, J.: Adaptive enumeration of implicit surfaces with affine arithmetic. Computer Graphic Forum\u00a015, 287\u2013296 (1996)","journal-title":"Computer Graphic Forum"},{"issue":"1","key":"2_CR5","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF02684450","volume":"61","author":"W. K\u00fchn","year":"1998","unstructured":"K\u00fchn, W.: Rigorously computed orbits of dynamical systems without the wrapping effect. Computing\u00a061(1), 47\u201367 (1998)","journal-title":"Computing"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10861-0","volume-title":"Automatic Differentiation: Techniques and Applications","author":"L.B. Rall","year":"1981","unstructured":"Rall, L.B.: Automatic Differentiation: Techniques and Applications. LNCS, vol.\u00a0120. Springer, Heidelberg (1981)"},{"issue":"2","key":"2_CR7","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1142\/S0218127492000422","volume":"4","author":"C. Hsu","year":"1992","unstructured":"Hsu, C.: Global analysis by cell mapping. Int.\u00a0J.\u00a0Bifurcation and Chaos\u00a04(2), 727\u2013771 (1992)","journal-title":"Int.\u00a0J.\u00a0Bifurcation and Chaos"},{"key":"2_CR8","doi-asserted-by":"crossref","first-page":"1075","DOI":"10.1017\/S0308210500026901","volume":"127A","author":"A. Szymczak","year":"1997","unstructured":"Szymczak, A.: A combinatorial procedure for finding isolating neighborhoods and index pairs. Proc. Royal Society of Edinburgh 127A, 1075\u20131088 (1997)","journal-title":"Proc. Royal Society of Edinburgh"},{"key":"2_CR9","unstructured":"Osipenko, G.: Symbolic analysis of the chain recurrent trajectories of dynamical systems. Differential Equations and Control Processess\u00a04 (1998)"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/s002110050240","volume":"75","author":"M. Dellnitz","year":"1997","unstructured":"Dellnitz, M., Hohmann, A.: A subdivision algorithm for the computation of unstable manifolds and global attractors. Numerische Mathematik\u00a075, 293\u2013317 (1997)","journal-title":"Numerische Mathematik"},{"issue":"2","key":"2_CR11","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1063\/1.166223","volume":"7","author":"M. Dellnitz","year":"1997","unstructured":"Dellnitz, M., Hohmann, A., Junge, O., Rumpf, M.: Exploring invariant sets and invariant measures. Chaos: and Interdisciplinary Journal of Nonlinear Science\u00a07(2), 221\u2013228 (1997)","journal-title":"Chaos: and Interdisciplinary Journal of Nonlinear Science"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"1759","DOI":"10.1088\/0951-7715\/15\/6\/304","volume":"15","author":"Z. Galias","year":"2002","unstructured":"Galias, Z.: Rigorous investigations of Ikeda map by means of interval arithmetic. Nonlinearity\u00a015, 1759\u20131779 (2002)","journal-title":"Nonlinearity"},{"key":"2_CR13","volume-title":"Algorithmic graph theory","author":"A. Gibbons","year":"1985","unstructured":"Gibbons, A.: Algorithmic graph theory. Cambridge University Press, Cambridge (1985)"},{"issue":"23","key":"2_CR14","doi-asserted-by":"publisher","first-page":"2387","DOI":"10.1103\/PhysRevLett.58.2387","volume":"58","author":"D. Auerbach","year":"1987","unstructured":"Auerbach, D., Cvitanovi\u0107, P., Eckmann, J., Gunaratne, G., Procaccia, I.: Exploring chaotic motion through periodic orbits. Phys.\u00a0Rev.\u00a0Lett.\u00a058(23), 2387\u20132389 (1987)","journal-title":"Phys.\u00a0Rev.\u00a0Lett."},{"issue":"24","key":"2_CR15","doi-asserted-by":"publisher","first-page":"2729","DOI":"10.1103\/PhysRevLett.61.2729","volume":"61","author":"P. Cvitanovi\u0107","year":"1988","unstructured":"Cvitanovi\u0107, P.: Invariant measurement of strange sets in terms of cycles. Phys.\u00a0Rev.\u00a0Lett.\u00a061(24), 2729\u20132732 (1988)","journal-title":"Phys.\u00a0Rev.\u00a0Lett."},{"key":"2_CR16","first-page":"153","volume-title":"Chaos \u2014 Soviet-American Perspectives on Nonlinear Science","author":"E. Ott","year":"1990","unstructured":"Ott, E., Grebogi, C., Yorke, J.: Controlling chaotic dynamical systems. In: Campbell, D. (ed.) Chaos \u2014 Soviet-American Perspectives on Nonlinear Science, pp. 153\u2013172. American Institute of Physics, New York (1990)"},{"key":"2_CR17","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1142\/9789812830609_0012","volume-title":"Nonlinear Dynamics in Circuits","author":"S. Hayes","year":"1995","unstructured":"Hayes, S., Grebogi, C.: Using chaos for digital communication. In: Carroll, T., Pecora, L. (eds.) Nonlinear Dynamics in Circuits, pp. 325\u2013335. World Scientific, Singapore (1995)"},{"issue":"7","key":"2_CR18","doi-asserted-by":"publisher","first-page":"4028","DOI":"10.1103\/PhysRevA.40.4028","volume":"40","author":"D. Lathrop","year":"1989","unstructured":"Lathrop, D., Kostelich, E.: Characterisation of an experimental strange attractor by periodic orbits. Phys.\u00a0Rev.\u00a0A\u00a040(7), 4028\u20134031 (1989)","journal-title":"Phys.\u00a0Rev.\u00a0A"},{"issue":"3","key":"2_CR19","first-page":"5","volume":"2","author":"C. Miranda","year":"1940","unstructured":"Miranda, C.: Un\u2019osservazione su un teorema di Brouwer. Boll.\u00a0Un.\u00a0Mat.\u00a0Ital.\u00a02(3), 5\u20137 (1940)","journal-title":"Boll.\u00a0Un.\u00a0Mat.\u00a0Ital."},{"key":"2_CR20","first-page":"7","volume-title":"Topics in Validated Computations, Proceedings of the IMACS-GAMM International Workshop on Validated Computation","author":"G. Alefeld","year":"1994","unstructured":"Alefeld, G.: Inclusion Methods for Systems of Nonlinear Equations \u2013 The Interval Newton Method and Modifications. In: Herzberger, J. (ed.) Topics in Validated Computations, Proceedings of the IMACS-GAMM International Workshop on Validated Computation, pp. 7\u201326. Elsevier, Amsterdam (1994)"},{"key":"2_CR21","volume-title":"Interval methods for systems of equations","author":"A. Neumaier","year":"1990","unstructured":"Neumaier, A.: Interval methods for systems of equations. Cambridge University Press, Cambridge (1990)"},{"issue":"2","key":"2_CR22","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1145\/78928.78931","volume":"16","author":"R. Kearfott","year":"1990","unstructured":"Kearfott, R., Novoa, M.: Algorithm 681: INTBIS, a portable interval Newton\/bisection package. ACM Trans. Math. Software\u00a016(2), 152\u2013157 (1990)","journal-title":"ACM Trans. Math. Software"},{"issue":"2","key":"2_CR23","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1093\/imanum\/22.2.167","volume":"22","author":"M. Dellnitz","year":"2002","unstructured":"Dellnitz, M., Sch\u00fctze, O., Sertl, S.: Finding zeros by multilevel subdivision techniques. IMA Journal of Numerical Analysis\u00a022(2), 167\u2013185 (2002)","journal-title":"IMA Journal of Numerical Analysis"},{"issue":"10","key":"2_CR24","doi-asserted-by":"publisher","first-page":"2873","DOI":"10.1142\/S0218127406016513","volume":"16","author":"Z. Galias","year":"2006","unstructured":"Galias, Z.: Counting low-period cycles for flows. Int.\u00a0J.\u00a0Bifurcation and Chaos\u00a016(10), 2873\u20132886 (2006)","journal-title":"Int.\u00a0J.\u00a0Bifurcation and Chaos"},{"key":"2_CR25","volume-title":"Dynamical Systems: Stability, Symbolic Dynamics, and Chaos","author":"C. Robinson","year":"1995","unstructured":"Robinson, C.: Dynamical Systems: Stability, Symbolic Dynamics, and Chaos. CRC Press, USA (1995)"},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0893-9659(94)90058-2","volume":"7","author":"B. Hassard","year":"1994","unstructured":"Hassard, B., Hastings, S., Troy, W., Zhangk, J.: A computer proof that the Lorenz equations have \u201cchaotic\u201d solutions. Appl. Math. Letters\u00a07, 79\u201383 (1994)","journal-title":"Appl. Math. Letters"},{"issue":"1","key":"2_CR27","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1090\/S0273-0979-1995-00558-6","volume":"32","author":"K. Mischaikow","year":"1995","unstructured":"Mischaikow, K., Mrozek, M.: Chaos in the Lorenz equations: a computer assisted proof. Bull.\u00a0Amer.\u00a0Math.\u00a0Soc.\u00a032(1), 66\u201372 (1995)","journal-title":"Bull.\u00a0Amer.\u00a0Math.\u00a0Soc."},{"key":"2_CR28","doi-asserted-by":"crossref","first-page":"1197","DOI":"10.1016\/S0764-4442(99)80439-X","volume":"328","author":"W. Tucker","year":"1999","unstructured":"Tucker, W.: The Lorenz attractor exists. C. R. Acad. Sci. Paris\u00a0328, 1197\u20131202 (1999)","journal-title":"C. R. Acad. Sci. Paris"},{"issue":"1","key":"2_CR29","doi-asserted-by":"crossref","first-page":"169","DOI":"10.12775\/TMNA.1996.026","volume":"8","author":"P. Zgliczy\u0144ski","year":"1996","unstructured":"Zgliczy\u0144ski, P.: Fixed point index for iterations of maps, topological horseshoe and chaos. Topological Methods in Nonlinear Analysis\u00a08(1), 169\u2013177 (1996)","journal-title":"Topological Methods in Nonlinear Analysis"},{"issue":"1","key":"2_CR30","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1088\/0951-7715\/10\/1\/016","volume":"10","author":"P. Zgliczy\u0144ski","year":"1997","unstructured":"Zgliczy\u0144ski, P.: Computer assisted proof of chaos in the R\u00f6ssler equations and the H\u00e9non map. Nonlinearity\u00a010(1), 243\u2013252 (1997)","journal-title":"Nonlinearity"},{"key":"2_CR31","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1016\/0022-0396(75)90037-6","volume":"17","author":"R. Easton","year":"1975","unstructured":"Easton, R.: Isolating blocks and symbolic dynamics. J. Diff. Eqs.\u00a017, 96\u2013118 (1975)","journal-title":"J. Diff. Eqs."},{"key":"2_CR32","doi-asserted-by":"publisher","first-page":"909","DOI":"10.1088\/0951-7715\/14\/5\/301","volume":"14","author":"Z. Galias","year":"2001","unstructured":"Galias, Z., Zgliczy\u0144ski, P.: Abundance of homoclinic and heteroclinic orbits and rigorous bounds for the topological entropy for the H\u00e9non map. Nonlinearity\u00a014, 909\u2013932 (2001)","journal-title":"Nonlinearity"},{"issue":"2","key":"2_CR33","first-page":"114","volume":"4","author":"Z. Galias","year":"1998","unstructured":"Galias, Z.: Rigorous numerical studies of the existence of periodic orbits for the H\u00e9non map. J. of Universal Computer Science\u00a04(2), 114\u2013124 (1998), \n                  \n                    http:\/\/www.jucs.org\/jucs_4_2\/rigorous_numerical_studies_of","journal-title":"J. of Universal Computer Science"},{"key":"2_CR34","doi-asserted-by":"publisher","first-page":"377","DOI":"10.2307\/1995452","volume":"154","author":"R. Bowen","year":"1971","unstructured":"Bowen, R.: Periodic points and measures for axiom A diffeomorphisms. Trans.\u00a0Amer.\u00a0Math.\u00a0Soc.\u00a0154, 377\u2013397 (1971)","journal-title":"Trans.\u00a0Amer.\u00a0Math.\u00a0Soc."},{"key":"2_CR35","doi-asserted-by":"publisher","first-page":"1331","DOI":"10.1007\/BF01048189","volume":"72","author":"S. Newhouse","year":"1993","unstructured":"Newhouse, S., Pignataro, T.: On the estimation of topological entropy. Journal of Statistical Physics\u00a072, 1331\u20131351 (1993)","journal-title":"Journal of Statistical Physics"},{"key":"2_CR36","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/S0167-2789(01)00216-0","volume":"154","author":"G. Froyland","year":"2001","unstructured":"Froyland, G., Junge, O., Ochs, G.: Rigorous computation of topological entropy with respect to a finite partition. Physica D\u00a0154, 68\u201384 (2001)","journal-title":"Physica D"},{"key":"2_CR37","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-6927-5","volume-title":"Ergodic Theory","author":"I. Cornfeld","year":"1982","unstructured":"Cornfeld, I., Fomin, S., Sinai, Y.: Ergodic Theory. Springer, Heidelberg (1982)"},{"key":"2_CR38","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/BF01608556","volume":"50","author":"M. H\u00e9non","year":"1976","unstructured":"H\u00e9non, M.: A two dimensional map with a strange attractor. Commun.\u00a0Math.\u00a0Phys.\u00a050, 69\u201377 (1976)","journal-title":"Commun.\u00a0Math.\u00a0Phys."},{"key":"2_CR39","first-page":"235","volume":"17D","author":"P. Grassberger","year":"1985","unstructured":"Grassberger, P., Kantz, H.: Generating partitions for the dissipative H\u00e9non map. Physica\u00a017D, 235\u2013238 (1985)","journal-title":"Physica"},{"key":"2_CR40","doi-asserted-by":"crossref","first-page":"5217","DOI":"10.1088\/0305-4470\/22\/24\/011","volume":"22","author":"P. Grassberger","year":"1989","unstructured":"Grassberger, P., Kantz, H., Moenig, U.: On the symbolic dynamics of the H\u00e9non map. J.\u00a0Phys.\u00a0A\u00a022, 5217\u20135230 (1989)","journal-title":"J.\u00a0Phys.\u00a0A"},{"key":"2_CR41","unstructured":"Galias, Z.: Obtaining rigorous bounds for topological entropy for discrete time dynamical systems. In: Proc. Int. Symposium on Nonlinear Theory and its Applications, NOLTA 2002, Xi\u2019an, PRC, pp. 619\u2013622 (2002)"},{"key":"2_CR42","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1090\/conm\/469\/09170","volume":"469","author":"S. Newhouse","year":"2008","unstructured":"Newhouse, S., Berz, M., Grote, J., Makino, K.: On the estimation of topological entropy on surfaces. Contemporary Mathematics\u00a0469, 243\u2013270 (2008)","journal-title":"Contemporary Mathematics"},{"issue":"7","key":"2_CR43","doi-asserted-by":"publisher","first-page":"885","DOI":"10.1109\/31.55064","volume":"CAS\u201337","author":"L. Chua","year":"1990","unstructured":"Chua, L., Lin, G.: Canonical realisation of Chua\u2019s circuit family. IEEE Trans. Circ. Syst.\u00a0CAS\u201337(7), 885\u2013902 (1990)","journal-title":"IEEE Trans. Circ. Syst."},{"key":"2_CR44","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-3486-9","volume-title":"Practical numerical algorithms for chaotic systems","author":"T. Parker","year":"1989","unstructured":"Parker, T., Chua, L.: Practical numerical algorithms for chaotic systems. Springer, New York (1989)"},{"issue":"8","key":"2_CR45","first-page":"798","volume":"CAS\u201332","author":"T. Matsumoto","year":"1985","unstructured":"Matsumoto, T., Chua, L., Komuro, M.: The double scroll. IEEE Trans. Circ. Syst.\u00a0CAS\u201332(8), 798\u2013817 (1985)","journal-title":"IEEE Trans. Circ. Syst."},{"issue":"7","key":"2_CR46","doi-asserted-by":"publisher","first-page":"909","DOI":"10.1109\/31.1836","volume":"CAS\u201335","author":"T. Matsumoto","year":"1988","unstructured":"Matsumoto, T., Chua, L., Ayaki, K.: Reality of chaos in the double scroll circuit: a computer-assisted proof. IEEE Trans. Circ. Syst.\u00a0CAS\u201335(7), 909\u2013925 (1988)","journal-title":"IEEE Trans. Circ. Syst."},{"issue":"2","key":"2_CR47","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1142\/S0218127497000224","volume":"7","author":"Z. Galias","year":"1997","unstructured":"Galias, Z.: Positive topological entropy of Chua\u2019s circuit: A computer assisted proof. Int.\u00a0J.\u00a0Bifurcation and Chaos\u00a07(2), 331\u2013349 (1997)","journal-title":"Int.\u00a0J.\u00a0Bifurcation and Chaos"},{"key":"2_CR48","doi-asserted-by":"publisher","first-page":"573","DOI":"10.2307\/2006982","volume":"118","author":"W. Parry","year":"1983","unstructured":"Parry, W., Pollicott, M.: An analogue of the prime number theorem for closed orbits of Axiom A flows. Annals Math.\u00a0118, 573\u2013591 (1983)","journal-title":"Annals Math."}],"container-title":["Studies in Computational Intelligence","Intelligent Computing Based on Chaos"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-95972-4_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T06:11:11Z","timestamp":1619763071000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-95972-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540959717","9783540959724"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-95972-4_2","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[]}}