Solving parameter-dependent semi-algebraic systems

Louis Gaillard, Mohab Safey El Din

We consider systems of polynomial equations and inequalities in $\mathbb{Q}[\mathbf{y}][\mathbf{x}]$ where $\mathbf{x}=(x_1,\dots ,x_n)$ and $\boldsymbol{y} = (y_1,…