Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao. Computing with semi-algebraic sets represented by triangular decomposition. In Éric Schost, Ioannis Z. Emiris, editors, Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings. pages 75-82, ACM, 2011. [doi]
Abstract is missing.