Chaos in the Lorenz equations: A computer assisted proof. Part II: Details

  title={Chaos in the Lorenz equations: A computer assisted proof. Part II: Details},
  author={Konstantin Mischaikow and Marian Mrozek},
  journal={Math. Comput.},
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. 
Highly Cited
This paper has 160 citations. REVIEW CITATIONS


Publications citing this paper.

161 Citations

Citations per Year
Semantic Scholar estimates that this publication has 161 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 27 references

Numerical Solution of Boundary Value Problems for ODEs

  • U. Ascher, R. M. Mattheij, D. R. Russell
  • Prentice–Hall, Englewood Cliffs, N.J.
  • 1988
Highly Influential
5 Excerpts

Solving Ordinary Differential Equations I, Nonstiff Problems, Springer-Verlag, Berlin

  • E. Hairer, S. P. Nørsett, G. Wanner
  • MR 87m:65005
  • 1987
Highly Influential
6 Excerpts

O logice trójwartościowej (On three-valued logic)

  • J. Lukasiewicz
  • Ruch Filozoficzny 5
  • 1920
Highly Influential
3 Excerpts

Computer assisted proof of chaos in the Rössler equations and in the Hénon map

  • P. Zgliczyński
  • Nonlinearity 10
  • 1997
1 Excerpt

Topological invariants

  • M. Mrozek
  • multivalued maps and computer assisted proofs in…
  • 1996
2 Excerpts

Chaos in Lorenz equations: a computer assisted proof

  • K. Mischaikow, M. Mrozek
  • Bull. AMS, 32
  • 1995
1 Excerpt

Lorenz Equations, Part III: Existence of Hyperbolic Sets

  • Xinfu Chen
  • 1995
3 Excerpts

On the strange attractor and transverse homoclinic orbits for Lorenz equations

  • H. Spreuer, E. Adams
  • J. Math. Anal. and Appl
  • 1995

Similar Papers

Loading similar papers…