Computing cylindrical algebraic decomposition via triangular decomposition

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]

Authors

Changbo Chen

This author has not been identified. Look up 'Changbo Chen' in Google

Marc Moreno Maza

This author has not been identified. Look up 'Marc Moreno Maza' in Google

Bican Xia

This author has not been identified. Look up 'Bican Xia' in Google

Lu Yang

This author has not been identified. Look up 'Lu Yang' in Google