×

zbMATH — the first resource for mathematics

Open non-uniform cylindrical algebraic decompositions. (English) Zbl 1346.68273
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). 85-92 (2015).

MSC:
68W30 Symbolic computation and algebraic computation
PDF BibTeX Cite
Full Text: DOI