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