A hybrid procedure for finding real points on a real algebraic set
scientific article; zbMATH DE number 7032434
scientific article