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