Computing Cylindrical Algebraic Decomposition via Triangular Decomposition

Changbo Chen, Marc Moreno Maza, Bican Xia +1

Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approaches…