Algorithmes efficaces en géométrie algébrique réelle
Algorithmes efficaces en géométrie algébrique réelle
En calcul scientifique, la resolution de problemes algebriques non lineaires est une t\^ache importante et difficile. Dans plusieurs domaines de l'ingenierie, les problemes algebriques encodent des contraintes geometriques sur des variables a valeurs reelles. C'est ainsi qu'il est frequent de chercher a obtenir des informations sur l'ensemble des solutions reelles …