Konstantin Mischaikow, Marian Mrozek. Chaos in the Lorenz equations: A computer assisted proof. Part II: Details. Math. Comput., 67(223):1023-1046, 1998.
@article{MischaikowM98,
title = {Chaos in the Lorenz equations: A computer assisted proof. Part II: Details},
author = {Konstantin Mischaikow and Marian Mrozek},
year = {1998},
tags = {equational proofs},
researchr = {https://researchr.org/publication/MischaikowM98},
cites = {0},
citedby = {0},
journal = {Math. Comput.},
volume = {67},
number = {223},
pages = {1023-1046},
}