Application of Gröbner bases and quantifier elimination for insightful engineering design
scientific article; zbMATH DE number 2117474