Abstract
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.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 1023-1046 |
| Number of pages | 24 |
| Journal | Mathematics of Computation |
| Volume | 67 |
| Issue number | 223 |
| DOIs | |
| State | Published - Jul 1998 |
| Externally published | Yes |
All Science Journal Classification (ASJC) codes
- Algebra and Number Theory
- Computational Mathematics
- Applied Mathematics