Numeric certified algorithm for the topology of resultant and discriminant curves

Rémi Imbach, Guillaume Moroz, Marc Pouget

Let $\mathcal{C}$ be a real plane algebraic curve defined by the resultant of two polynomials (resp. by the discriminant of a polynomial). Geometrically such a curve is the projecti…