INVESTIGADORES
PERRUCCI Daniel Roberto
congresos y reuniones científicas
Título:
Una nueva demostración constructiva del Positivstellensatz
Autor/es:
HENRI LOMBARDI; DANIEL PERRUCCI; MARIE-FRANCOISE ROY
Lugar:
Rosario
Reunión:
Congreso; LXII Reunión Anual de Comunicaciones Científicas de la UMA; 2013
Institución organizadora:
Unión Matemática Argentina - Universidad Nacional de Rosario
Resumen:
Dado un sistema multivariado de ecuaciones e inecuaciones polinomiales que no admite solución sobre los números reales,el Positivstellensatzestablece la existencia de una cierta identidad algebraica que torna evidente este hecho. La única demostración constructiva del Positivstellensatz conocida hasta el momento fue dada por Henri Lombardi y la misma se basa en la adaptaci\'on del método de Hörmander para eliminación de cuantificadores sobre los reales. Presentaremos una nueva demostración constructiva del Positivstellensatz, la cual reutiliza las técnicas dadas por Lombardi, pero se basa en la adaptación del método de descomposición cilíndrica de Collins.
