Computing with semi-algebraic sets represented by triangular decomposition
Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao · 2011
This article is a continuation of our earlier work [3], which introduced triangular decompositions of semi-algebraic systems and algorithms for computing them. Our new contributions include theoretical results based on which we obtain practical improvements for these decomposition algorithms.