Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition

DOI10.1145/3087604.3087651zbMath1457.68323OpenAlexW2738238629MaRDI QIDQ5119922

Christopher W. Brown

Publication date: 9 September 2020

Published in: Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3087604.3087651

zbMATH Keywords

cylindrical algebraic decompositionpolynomial inequalitiesreal constraint solving

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (2)

Levelwise construction of a single cylindrical algebraic cell ⋮ Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings

This page was built for publication: Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition