Recent developments in real quantifier elimination and cylindrical algebraic decomposition (extended abstract of invited talk)
scientific article; zbMATH DE number 7964698