Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang. Computing cylindrical algebraic decomposition via triangular decomposition. In Jeremy Johnson, Hyungju Park, Erich Kaltofen, editors, Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings. pages 95-102, ACM, 2009. [doi]
Abstract is missing.