Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems

DOI10.1145/2755996.2756646zbMath1345.68282OpenAlexW2028158012MaRDI QIDQ2819755

Yosuke Sato, Ryoya Fukasaku, Hidenao Iwane

Publication date: 29 September 2016

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

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

zbMATH Keywords

comprehensive Gröbner systemreal quantifier elimination

Mathematics Subject Classification ID

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

Related Items (7)

Regular cylindrical algebraic decomposition ⋮ CGSQE/SyNRAC ⋮ A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases ⋮ On the Implementation of CGS Real QE ⋮ Cylindrical algebraic decomposition with equational constraints ⋮ On multivariate Hermitian quadratic forms ⋮ On Parametric Border Bases

Uses Software

• Maple
• RAGlib
• REDUCE
• SYNRAC
• REDLOG

This page was built for publication: Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems