Conclusions Merits
We realize validated error bounds in 3D model space which enclose the true curve of intersection.
The scheme can prevent the phenomenon of straying or looping.
Scheme can accommodate the errors in:
- initial condition
- perturbation in the surface itself
- rounding during digital computation
Validated error bounds for surface intersection is essential in interval boundary representation for consistent solid models [5].