TY  - RPRT
TI  - Chaos in the Lorenz equations: a computer-assisted proof
AU  - Konstantin Mischaikow
AU  - Marian Mrozek
PY  - 1995
UR  - https://arxiv.org/abs/math/9501230
ID  - math/9501230
ER  -