A generic projection operator for partial cylindrical algebraic decomposition

@inproceedings{Seidl2003AGP,
  title={A generic projection operator for partial cylindrical algebraic decomposition},
  author={Andreas Seidl and Thomas Sturm},
  booktitle={ISSAC},
  year={2003}
}
This paper provides a starting point for generic quantifier elimination by partial cylindrical algebraic decomposition pcad. On input of a first-order formula over the reals generic pcad outputs a theory and a quantifier-free formula. The theory is a set of negated equations in the free variables of the input formula. The quantifier-free formula is equivalent to the input for all parameter values satisfying the theory. For obtaining this generic elimination procedure, we derive a generic… CONTINUE READING