Quantifier Elimination
Quantifier Elimination, Ferrante-Rackow's Method (for rationals), Cooper's Method (for integers)
quantelim.pdf
—
PDF document,
231 kB (236821 bytes)