Sound and robust solid modeling via exact real arithmetic and continuity [pdf] | Heykuki News