×

zbMATH — the first resource for mathematics

An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. (English) Zbl 1356.68282
Kai, Hiroshi (ed.) et al., Proceedings of the 2009 workshop on symbolic-numeric computation, SNC 2009, Kyoto, Japan, August 3–5, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-664-9). 55-64 (2009).

MSC:
68W30 Symbolic computation and algebraic computation
03C10 Quantifier elimination, model completeness, and related topics
PDF BibTeX Cite
Full Text: DOI
References:
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.