Certified Geometric Computation by