research
∙
06/21/2018
Real root finding for equivariant semi-algebraic systems
Let R be a real closed field. We consider basic semi-algebraic sets defi...
research
∙
08/24/2016