INVESTIGADORES
JERONIMO gabriela Tali
congresos y reuniones científicas
Título:
Un algoritmo de tipo Sturm para E-polinomios
Autor/es:
BARBAGALLO, MARÍA LAURA; JERONIMO, GABRIELA; SABIA, JUAN
Lugar:
San Luis
Reunión:
Congreso; LXIII Reunión Anual de Comunicaciones Científicas de la Unión Matemática Argentina; 2014
Institución organizadora:
Unión Matemática Argentina
Resumen:
Un E-polinomio en una variable con coeficientes enteros es una función de la forma P(X, e^{h(X)}), donde P(X,Y) y h (X) son polinomios con coeficientes enteros.Estas funciones son una clase particular de las llamadas funciones Pfaffianas introducidas por Khovanskii a fines de los años '70 para las cuales el problema de la consistencia es algorítmicamente decidible.En esta comunicación presentaremos un algoritmo para calcular la cantidad de ceros de un E-polinomio en un intervalo de R y en todo R.Para desarrollar este algoritmo nos inspiramos en el conocido Teorema de Sturm para polinomios. Nuestro método se basa en la construcción de una secuencia adecuada de E-polinomios en una variable, y la determinación del signo de estos E-polinomios evaluados en números reales algebraicos sobre Q.
