decision problem for semi-algebraic sets
scientific article; zbMATH DE number 953041