Quantifier elimination for real algebra -- the quadratic case and beyond
scientific article; zbMATH DE number 998033