Computing parameter ranges in constructive geometric constraint solving: Implementation and correctness proof | Publicación