Sound and robust solid modeling via exact real arithmetic and continuity [pdf]people.csail.mit.edu2 pointsogogmad6 years ago