Deciding efficiently the emptiness of a real algebraic set defined by a single equation is a fundamental problem of computational real algebraic geometry. We propose an algorithm ...
A scheme is proposed based on an extension of Analytic Geometry to represent a composite curve either with a single equation or with two equations in the case of parametric repres...