MischaikowM98'

BibTeX

@article{DBLP:journals/moc/MischaikowM98,
  author    = {Konstantin Mischaikow and
               Marian Mrozek},
  title     = {Chaos in the Lorenz equations: A computer assisted proof.
               Part II: Details},
  journal   = {Math. Comput.},
  volume    = {67},
  number    = {223},
  year      = {1998},
  pages     = {1023-1046},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}