-
Solving Parametric Polynomial Systems
We present a new algorithm for solving basic parametric constructible or semi-algebraic systems like $\mathcal{C} = \{ x \in \Cp_1 ( x ) = 0, \ldots, p_s ( x ) = 0,... -
Critical Point Methods and Effective Real Algebraic Geometry: New Results and...
International audience -
Symbolic Recipes for Real Solutions
Contribution à un ouvrage.
