{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T10:10:41Z","timestamp":1776766241204,"version":"3.51.2"},"reference-count":29,"publisher":"American Mathematical Society (AMS)","issue":"223","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Comp."],"abstract":"<p>Details of a new technique for obtaining rigorous results concerning the global dynamics of nonlinear systems is described. The technique combines abstract existence results based on the Conley index theory with rigorous computer assisted computations. As an application of these methods it is proven that for some explicit parameter values the Lorenz equations exhibit chaotic dynamics.<\/p>","DOI":"10.1090\/s0025-5718-98-00945-4","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T18:14:28Z","timestamp":1027707268000},"page":"1023-1046","source":"Crossref","is-referenced-by-count":61,"title":["Chaos in the Lorenz equations: A computer assisted proof. Part II: Details"],"prefix":"10.1090","volume":"67","author":[{"given":"Konstantin","family":"Mischaikow","sequence":"first","affiliation":[]},{"given":"Marian","family":"Mrozek","sequence":"additional","affiliation":[]}],"member":"14","published-online":{"date-parts":[[1998]]},"reference":[{"key":"1","unstructured":"U. Ascher, R. M. Mattheij and D. R. Russell, Numerical Solution of Boundary Value Problems for ODEs, Prentice-Hall, Englewood Cliffs, N.J., 1988. \\MR{90h:65120}"},{"key":"2","unstructured":"Xinfu Chen, Lorenz Equations, Part III: Existence of Hyperbolic Sets, preprint 1995."},{"key":"3","doi-asserted-by":"crossref","unstructured":"C. Conley, Isolated Invariant Sets and the Morse Index, CBMS Regional Conf. Ser. Math., no 38, AMS, Providence, R.I., 1978. \\MR{80c:58009}","DOI":"10.1090\/cbms\/038"},{"key":"4","doi-asserted-by":"crossref","unstructured":"E. Hairer, S.P. N\u00f8rsett and G. Wanner, Solving Ordinary Differential Equations I, Nonstiff Problems, Springer-Verlag, Berlin Heidelberg 1987. \\MR{87m:65005}","DOI":"10.1007\/978-3-662-12607-3"},{"key":"5","doi-asserted-by":"crossref","unstructured":"B. Hassard, J. Zhang, S. Hastings, and W. Troy, A computer proof that the Lorenz equations have \u201cchaotic\u201d solutions, Appl. Math. Letter 7 (1994), 79-83. \\MR{96d:58082}","DOI":"10.1016\/0893-9659(94)90058-2"},{"key":"6","doi-asserted-by":"crossref","unstructured":"S.P. Hastings and W.C. Troy, A shooting approach to the Lorenz equations, Bulletin (New Series) of the American Mathematical Society 27(1992) 298-303. \\MR{93f:58150}","DOI":"10.1090\/S0273-0979-1992-00327-0"},{"key":"7","doi-asserted-by":"crossref","unstructured":"T. Kaczy\u0144ski and M. Mrozek, Conley index for discrete multivalued dynamical systems, Topology & its Appl., 65(1995), 83-96. \\MR{97d:54066}","DOI":"10.1016\/0166-8641(94)00088-K"},{"key":"8","unstructured":"R.J. Lohner, Computation of Guaranteed Enclosures for the Solutions of Ordinary Initial and Boundary Value Problems, in:  Computational Ordinary Differential Equations, J.R. Cash, I. Gladwell Eds., Clarendon Press, Oxford, 1992. CMP 96:12"},{"key":"9","unstructured":"J. \u0141ukasiewicz, O logice tr\u00f3jwarto\u015bciowej (On three-valued logic), Ruch Filozoficzny 5(1920), 169-170."},{"key":"10","doi-asserted-by":"crossref","unstructured":"K. Mischaikow, The structure of isolated invariant sets, Contemporary Mathematics, C. McCord ed.,AMS, (1993), 269-290. \\MR{94k:58083}","DOI":"10.1090\/conm\/152\/01328"},{"key":"11","unstructured":"K. Mischaikow, The Conley index theory: some recent developments, CIME Lectures, preprint."},{"key":"12","doi-asserted-by":"crossref","unstructured":"K. Mischaikow and M. Mrozek, Isolating neighborhoods and Chaos, Jap. J. Ind. & Appl. Math., 12, 1995, 205-236. \\MR{96e:58104}","DOI":"10.1007\/BF03167289"},{"key":"13","doi-asserted-by":"crossref","unstructured":"K. Mischaikow and M. Mrozek, Chaos in Lorenz equations: a computer assisted proof, Bull. AMS, 32(1995), 66-72. \\MR{95e:58121}","DOI":"10.1090\/S0273-0979-1995-00558-6"},{"key":"14","unstructured":"K. Mischaikow and M. Mrozek, Chaos in Lorenz equations: a computer assisted proof. Part II: Details, preprint CDSNS95-222."},{"key":"15","unstructured":"K. Mischaikow, M. Mrozek and A. Szymczak, Chaos in Lorenz equations: a computer assisted proof. Part III: The classical case, in preparation."},{"key":"16","unstructured":"J. Moser, Stable and Random Motions in Dynamical Systems, Princeton Univ. Press (1973). \\MR{56:1355}"},{"key":"17","doi-asserted-by":"crossref","unstructured":"M. Mrozek, Leray Functor and the Cohomological Conley Index for Discrete Dynamical Systems, Transactions of the American Mathematical Society 318(1990) 149-178. \\MR{90f:34076}","DOI":"10.1090\/S0002-9947-1990-0968888-1"},{"key":"18","doi-asserted-by":"crossref","unstructured":"M. Mrozek, Topological invariants, multivalued maps and computer assisted proofs in dynamics, Computers & Mathematics, 32(1996),83-104. \\MR{97h:58144}","DOI":"10.1016\/0898-1221(96)00127-7"},{"key":"19","doi-asserted-by":"crossref","unstructured":"M. Mrozek, Rigorous error analysis of numerical algorithms via symbolic computations, J. Symb. Comp., 22(1996) 435-458. CMP 97:06","DOI":"10.1006\/jsco.1996.0061"},{"key":"20","unstructured":"J. Munkres, Elements of Algebraic Topology, Addison-Wesley, 1984. \\MR{85m:55001}"},{"key":"21","doi-asserted-by":"crossref","unstructured":"A. Neumaier, The wrapping effect, ellipsoid arithmetic, stability and confidence regions, Computing Supplementum, 9 (1993), 175-190.","DOI":"10.1007\/978-3-7091-6918-6_14"},{"key":"22","doi-asserted-by":"crossref","unstructured":"A. Neumaier, Global, rigorous and realistic bounds for the solution of dissipative differential equations Part I: Theory, Computing 52 (1994), 315-336. \\MR{95f:65098}","DOI":"10.1007\/BF02276880"},{"key":"23","doi-asserted-by":"crossref","unstructured":"T. Rage, A. Neumaier, and C. Schlier, Rigorous verification of chaos in a molecular model, Physical Rev. E, 50 (1994), 2682-2688.","DOI":"10.1103\/PhysRevE.50.2682"},{"key":"24","doi-asserted-by":"crossref","unstructured":"K.P. Rybakowski, The Homotopy Index and Partial Differential Equations, Springer Verlag, Berlin Heidelberg 1987. \\MR{89d:58025}","DOI":"10.1007\/978-3-642-72833-4"},{"key":"25","doi-asserted-by":"crossref","unstructured":"M.R. Rychlik, Lorenz attractors through \u0160il\u2019nikov-type bifurcation. Part I, Ergodic Theory & Dynamical Systems, 10(1989), 793-821. \\MR{92f:58103}","DOI":"10.1017\/S0143385700005915"},{"key":"26","doi-asserted-by":"crossref","unstructured":"S. Smale, Differentiable dynamical systems, Bull. AMS 73 (1967), 747-817. \\MR{37:3598}","DOI":"10.1090\/S0002-9904-1967-11798-1"},{"key":"27","doi-asserted-by":"crossref","unstructured":"H. Spreuer , E. Adams, On the strange attractor and transverse homoclinic orbits for Lorenz equations, J. Math. Anal. and Appl. 190(1995), 329-360. \\MR{96h:58119}","DOI":"10.1006\/jmaa.1995.1080"},{"key":"28","doi-asserted-by":"crossref","unstructured":"P. Zgliczy\u0144ski, Computer assisted proof of chaos in the R\u00f6ssler equations and in the H\u00e9non map, Nonlinearity 10 (1997), 243-252. CMP 97:07","DOI":"10.1088\/0951-7715\/10\/1\/016"},{"key":"29","unstructured":"The IEEE Standard for Binary Floating-Point Arithmetic, ANSI\/IEEE Std 754,1985."}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.ams.org\/mcom\/1998-67-223\/S0025-5718-98-00945-4\/S0025-5718-98-00945-4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/www.ams.org\/mcom\/1998-67-223\/S0025-5718-98-00945-4\/S0025-5718-98-00945-4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T21:48:00Z","timestamp":1776721680000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/1998-67-223\/S0025-5718-98-00945-4\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"references-count":29,"journal-issue":{"issue":"223","published-print":{"date-parts":[[1998,7]]}},"alternative-id":["S0025-5718-98-00945-4"],"URL":"https:\/\/doi.org\/10.1090\/s0025-5718-98-00945-4","archive":["CLOCKSS","Portico"],"relation":{},"ISSN":["1088-6842","0025-5718"],"issn-type":[{"value":"1088-6842","type":"electronic"},{"value":"0025-5718","type":"print"}],"subject":[],"published":{"date-parts":[[1998]]}}}