@article{Stolfi2004,
  title={Affine arithmetic: concepts and applications},
  author={De Figueiredo, Luiz Henrique and Stolfi, Jorge},
  journal={Numerical Algorithms},
  volume={37},
  number={1-4},
  pages={147--158},
  year={2004},
  publisher={Springer}
}
@incollection{Girard2005,
  title={Reachability of uncertain linear systems using zonotopes},
  author={Girard, Antoine},
  booktitle={Hybrid systems: computation and control},
  pages={291--305},
  year={2005},
  publisher={Springer}
}
@inproceedings{Immler,
 author = {Immler, Fabian},
 title = {A Verified Algorithm for Geometric Zonotope/Hyperplane Intersection},
 booktitle = {Proceedings of the 2015 Conference on Certified Programs and Proofs},
 series = {CPP '15},
 year = {2015},
 isbn = {978-1-4503-3296-5},
 location = {Mumbai, India},
 pages = {129--136},
 numpages = {8},
 url = {http://doi.acm.org/10.1145/2676724.2693164},
 doi = {10.1145/2676724.2693164},
 acmid = {2693164},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {geometric algorithms, interactive theorem proving},
}
