Computer assisted proof of chaos in the Lorenz equations
scientific article; zbMATH DE number 1397374
scientific article