Project number IST-006413 ACS Algorithms for Complex Shapes with Certified Numerics and Topology Arrangements of Geodesic Arcs on the Sphere Efi