@entry{imm-15-ad, author = {F Immler}, title = {A verified enclosure for the Lorenz attractor (rough diamond)}, journal = {International Conference on Interactive Theorem ...,}, volume = {}, number = {}, pages = {}, year = 2015, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://link.springer.com/chapter/10.1007/978-3-319-22102-1_14}}}, quotes = {... Instead of rectangles we use zonotopes (our algorithm is based on affine arithmetic [1] instead of interval arithmetic). Numerical computations are carried out with software floating point ...} }