Computing roadmaps in unbounded smooth real algebraic sets II: algorithm and complexity

Rémi Prébet, Mohab Safey El Din, Éric Schost

A roadmap for an algebraic set $V$ defined by polynomials with coefficients in the field $\mathbb{Q}$ of rational numbers is an algebraic curve contained in $V$ whose intersection…