×

zbMATH — the first resource for mathematics

Improving the use of equational constraints in cylindrical algebraic decomposition. (English) Zbl 1346.68283
Proceedings of the 40th international symposium on symbolic and algebraic computation, ISSAC 2015, Bath, UK, July 6–9, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3435-8). 165-172 (2015).

MSC:
68W30 Symbolic computation and algebraic computation
03C10 Quantifier elimination, model completeness, and related topics
PDF BibTeX XML Cite
Full Text: DOI