@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 ...}
}