A generic projection operator for partial cylindrical algebraic decomposition.

Andreas Seidl, Thomas Sturm

Browse the full ISSAC paper archive.