×

zbMATH — the first resource for mathematics

Computing cylindrical algebraic decomposition via triangular decomposition. (English) Zbl 1237.14068
May, John P. (ed.), ISSAC 2009. Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, July 28–31, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-609-0). 95-102 (2009).

MSC:
14P10 Semialgebraic sets and related spaces
68W30 Symbolic computation and algebraic computation
Software:
QEPCAD; modpn
PDF BibTeX XML Cite
Full Text: DOI