@article{9038, author = {Benjamin Kehlet and Anders Logg}, title = {Long-Time Computability of the Lorenz System}, abstract = {The purpose of this paper is threefold: (i) to demonstrate that the Lorenz system is computable over long time intervals; (ii) to prove sharp computable error estimates for the propagation of round-off errors and quantify the computability of the Lorenz system; and (iii) to present a reference solution of the Lorenz system on the time interval [0, 1000].}, year = {2010}, journal = {journal}, }