Quantifier Elimination and the Sign Variation Method for Real Root Isolation

George E. Collins, Jeremy R. Johnson. Quantifier Elimination and the Sign Variation Method for Real Root Isolation. In ISSAC. pages 264-271, 1989. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: