Static analysis yields efficient exact arithmetic for computational geometry (1996)

by S Fortune, C J Van Wyk
Venue:ACM Trans. on Graphics