Computing with semi-algebraic sets represented by triangular decomposition.

Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao

Browse the full ISSAC paper archive.