1

Connectivity in Symmetric Semi-Algebraic Sets
Faster real root decision algorithm for symmetric polynomials