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]
@inproceedings{ChenMXY09,
title = {Computing cylindrical algebraic decomposition via triangular decomposition},
author = {Changbo Chen and Marc Moreno Maza and Bican Xia and Lu Yang},
year = {2009},
doi = {10.1145/1576702.1576718},
url = {http://doi.acm.org/10.1145/1576702.1576718},
tags = { algebra},
researchr = {https://researchr.org/publication/ChenMXY09},
cites = {0},
citedby = {0},
pages = {95-102},
booktitle = {Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings},
editor = {Jeremy Johnson and Hyungju Park and Erich Kaltofen},
publisher = {ACM},
isbn = {978-1-60558-609-0},
}