INVESTIGADORES
GRIMSON Rafael
congresos y reuniones científicas
Título:
Un ejemplo concreto de eliminación de cuantificadores paramétrica para conjuntos semi-algebraicos
Autor/es:
RAFAEL GRIMSON
Lugar:
Montevideo, uruguay
Reunión:
Workshop; XVII Encuentro Rioplatense de Algebra y Geometría Algebraica; 2007
Resumen:
We present a solution to the bead-intersection problem from GIS (geographic information systems) using algebraic techniques (rational univariate representation, and Sylvester method) and we discuss the optimality of the solution thus obtained.