Cylindrical algebraic decomposition with equational constraints
scientific article