An algorithm for isolating the real solutions of semi-algebraic systems
scientific article; zbMATH DE number 1886761
scientific article