Project number IST-006413 ACS Algorithms for Complex Shapes with Certified Numerics and Topology Toward a Package for Constructing and Manipulating Three-Dimensional Arrangements of Surfaces