A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is
The problem of maintaining consistent representations of solids in computer-aided design and of giving rigorous proofs of error bounds for operations such as regularized Boolean intersection has been widely studied for at least two decades. One of the major difficulties is that the representations used in practice not only are in error but are fundamentally inconsistent. Such inconsistency is one of the main bottlenecks in downstream applications. This paper provides a framework for errordoi:10.1137/040604303 fatcat:yzyjedgvgvgydd3v3bgs3crtju