publicaciones seleccionadas documento Algebraic geometry and group theory in geometric constraint satisfaction for computer-aided design and assembly planning 1996 Geometric reasoning in the analysis of assemblies and mechanisms 1995