Title: Geometric Constraint Solving and Applications