The complexity of quantifier elimination and cylindrical algebraic decomposition.

Christopher W. Brown, James H. Davenport

Browse the full ISSAC paper archive.