Real root finding for equivariant semi-algebraic systems

Publication
International Symposium on Symbolic and Algebraic Computation