publicaciones seleccionadas documento A Geometric Reasoning Server with Applications to Geometric Constraint Satisfaction and Configurable Feature Extraction 1996 Algebraic geometry and group theory in geometric constraint satisfaction 1994