Computing cylindrical algebraic decomposition via triangular decomposition.

Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang

Browse the full ISSAC paper archive.