INVESTIGADORES
JERONIMO gabriela Tali
congresos y reuniones científicas
Título:
Sistemas de ecuaciones e inecuaciones polinomiales
Autor/es:
GABRIELA JERONIMO
Lugar:
La Falda
Reunión:
Congreso; IV Encuentro Nacional de Álgebra; 2008
Resumen:
Trataremos el problema de determinar algorítmicamente la consistencia sobre R de sistemas de ecuaciones e inecuaciones dadas por polinomios multivariados.  Presentaremos un algoritmo que calcula un conjunto finito que contiene un punto en la clausura de cada componente conexa de cada condición de signo definida por una familia de polinomios, bajo hipótesis de regularidad, y mostraremos cómo este conjunto permite determinar las condiciones de signo factibles sobre los polinomios.Finalmente, mostraremos una extensión de este resultado al caso no regular: describiremos un procedimiento para el cálculo de un punto en cada componente conexa de un conjunto definido por igualdades y desigualdades no estrictas de polinomios multivariados arbitrarios.