Quantifier Elimination and the Sign Variation Method for Real Root Isolation.

George E. Collins, Jeremy R. Johnson

Browse the full ISSAC paper archive.