@misc{indiciae291d26ef344f,
  title = {Chaos in the Lorenz equations: a computer-assisted proof},
  author = {Konstantin Mischaikow and Marian Mrozek},
  year = {1995},
  url = {https://arxiv.org/abs/math/9501230},
  note = {Source identifier: math/9501230}
}