This paper describes an algorithm to perform Boolean operations, based on the use of limit meshes, in the case when input objects are defined in terms of triangular meshes and Loop subdivision. The focus of the paper is on robustness, including error bounds and numerical methods for the  a posteriori  validation of topological form.
['Di Jiang', 'Neil F. Stewart']
Robustness of Boolean Operations on Subdivision-Surface Models