Rigorous Proof of Chaotic Behaviour in a Dumbbell Satellite Model

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

Piotr Zgliczyński · Nonlinearity · 1997 · 119 citations

Natural Sciences, Mathematics, Differential Equations +9

Isolating neighborhoods and chaos

Konstantin Mischaikow, Marian Mrożek · Japan Journal of Industrial and Applied Mathematics · 1995 · 92 citations

Natural Sciences, Mathematics, Urban Studies +7

Rigorous computational shadowing of orbits of ordinary differential equations

Brian A. Coomes, Kenneth J. Palmer · Numerische Mathematik · 1995 · 42 citations

Natural Sciences, Mathematics, Physics +13

Rigorous chaos verification in discrete dynamical systems

Arnold Neumaier, Thomas Rage · Physica D Nonlinear Phenomena · 1993 · 42 citations

Natural Sciences, Mathematics, Discrete Mathematics +13

Rigorous verification of chaotic behaviour of maps using validated shadowing

Daniel Stoffer, Kenneth J. Palmer · Nonlinearity · 1999 · 33 citations

Natural Sciences, Computer Science, Mathematics +12