A computer proof that the Lorenz equations have ``chaotic'' solutions (Q1324453)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A computer proof that the Lorenz equations have ``chaotic'' solutions |
scientific article |
Statements
A computer proof that the Lorenz equations have ``chaotic'' solutions (English)
0 references
24 May 1994
0 references
computerized proof
0 references
interval arithmetic
0 references
Lorenz equations
0 references
chaos
0 references
