Quantifier elimination by cylindrical algebraic decomposition based on regular chains.

Changbo Chen, Marc Moreno Maza

Browse the full ISSAC paper archive.