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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.