Triangular decomposition of semi-algebraic systems.

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

Browse the full ISSAC paper archive.