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]
No references recorded for this publication.
No citations of this publication recorded.