Chaos in the Lorenz equations: a computer-assisted proof
classification
🧮 math.DS
keywords
dynamicsequationslorenzresultstechniqueabstractapplicationassisted
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.