@entry{imm-15-ac,
  author = {F Immler},
  title = {A verified algorithm for geometric zonotope/hyperplane intersection},
  journal = {Proceedings of the 2015 Conference on Certified ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2015,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://dl.acm.org/doi/abs/10.1145/2676724.2693164?casa_token=Cbd3JHiPWnUAAAAA:cC2yNjBSK3SISOc14EMCd3uS_XqTGVn9z6SdPkfYTlg98DJueERSqeX-oKHmxrvxvQdnkLpphgY}}},
  quotes = {... Zonotopes are the geometric objects that arise when computing with affine arithmetic (AA) [5]. They improve over interval arithmetic by their ability to track linear dependencies and have ...}
}