Quantifier Elimination: Optimal Solution for Two Classical Examples

D. Lazard
DOI: https://doi.org/10.1016/S0747-7171(88)80015-4
IF: 0.97
1988-02-01
Journal of Symbolic Computation
Abstract:
What problem does this paper attempt to address?