INVESTIGADORES
JERONIMO gabriela Tali
congresos y reuniones científicas
Título:
On sign conditions over real multivariate polynomials
Autor/es:
GABRIELA JERONIMO
Lugar:
Trieste
Reunión:
Conferencia; Mathematics, Algorithms and Proofs; 2008
Institución organizadora:
The Abdus Salam International Centre for Theoretical Physics
Resumen:
We will present a probabilistic algorithm to find a finite set of points intersecting the closure of each connected component of the realization of every sign condition over a family of real polynomials defining regular hypersurfaces that intersect transversally. We will also show how this set enables the determination of all  feasible sign conditions over the given polynomials. Finally, we will describe extensions of our results to the bivariate case and  to sets defined by equalities and non-strict inequalities over arbitrary real multivariate polynomials.