1

Faster real root decision algorithm for symmetric polynomials