Some recent algorithms in real algebraic geometry
Marie-Françoise Roy, Institut de Recherche Mathématique de Rennes, France
Abstract
Algorithms in real algebraic geometry deal with basic questions such as
the computation of the number of real roots of a univariate
polynomial as well as sophisticated problems such as the determination
of the Betti numbers of semi-algebraic sets. Recent results clarifying
the complexity of these problems will be described and some open
questions will be listed.