Simulation and optimization by quantifier elimination
elimination of linear variables from a Boolean combination of polynomial equations and inequalities
scientific article; zbMATH DE number 1067882