On présentera les questions algorithmiques fondamentales
concernant les racines réelles et les inégalités polynomiales
et on indiquera les résultats théoriques et pratiques obtenus
récemment, abordant ainsi des aspects variés de la recherche
en calcul formel.
Références
J. Mainguené, M.-F. Roy. Démonstration automatique en géométrie, une approche par la géométrie analytique, Bulletin de l'APMEP, n° 421 Mars -avril 1999.
M.-F. Roy. Basic algorithms in real algebraic geometry: from Sturm theorem to the existential theory of reals, Lectures on Real Geometry in memoriam of Mario Raimondo, Expositions in Mathematics, 1-67. de Gruyter (1996).
L. Gonzalez-Vega, F. Rouillier, M.-F. Roy, G. Trujillo. Symbolic Recipes
for Real Solutions In: Some tapas for computer algebra, A. Cohen et al.
ed., Springer, 121-167 (1999).