• Real Root Finding for Equivariant Semi-algebraic Systems 

      Riener, Cordian; Safey el Din, Mohab (Conference object; Konferansebidrag, 2018)
      Let <i><b>R</b></i> be a real closed field. We consider basic semi-algebraic sets defined by <i>n</i>-variate equations/inequalities of s symmetric polynomials and an equivariant family of polynomials, all of them of degree bounded by 2<i>d</i> &#60; <i>n</i>. Such a semi-algebraic set is invariant by the action of the symmetric group. We show that such a set is either empty or it contains a point ...