posted on 2009-10-01, 00:00authored byS. A. Seshia, Guy E. Blelloch, Robert Harper
Exact arithmetic is used to build robust implementations of geometric algorithms. However, it is slow, and computing to arbitrary precision is unnecessary most of the time.