Static Analysis Yields Efficient Exact Integer Arithmetic for Computational Geometry.

Steven Fortune Christopher J. Van Wyk Static Analysis Yields Efficient Exact Integer Arithmetic for Computational Geometry. 223-248 1996 15 ACM Trans. Graph. 3 http://doi.acm.org/10.1145/231731.231735 db/journals/tog/tog15.html#FortuneW96