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 computer-assisted computations. As an application of these methods it is proven that for an explicit parameter value the Lorenz equations exhibit chaotic dynamics.
All Science Journal Classification (ASJC) codes
- Applied Mathematics