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