An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
scientific article