Computing the connected components of real algebraic curves

Elisabetta Rocchi, Mohab Safey El Din

Connected components of real algebraic sets are semi-algebraic, i.e. they are described by a boolean formula whose atoms are polynomial constraints with real coefficients. Computin…