Sound and robust solid modeling via exact real arithmetic and continuity
Abstract
Algorithms for solid modeling, i.e., Computer-Aided Design (CAD) and computer graphics, are often specified on real numbers and then implemented with finite-precision arithmetic, such as floating-point. The result is that these implementations do not soundly compute the results that are expected from their specifications.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jul 26, 2019
- Source ID
- 10.1145/3341703
Entities
People
- Benjamin Sherman
- Jesse Michel
- Michael Carbin
Organizations
- Massachusetts Institute of Technology
- Office of Naval Research