Real root finding for equivariant semi-algebraic systems

Cordian Riener, Mohab Safey El Din

Let $R$ be a real closed field. We consider basic semi-algebraic sets defined by $n$-variate equations/inequalities of $s$ symmetric polynomials and an equivariant family of polyno…