Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems
From MaRDI portal
Publication:2819755
DOI10.1145/2755996.2756646zbMath1345.68282MaRDI QIDQ2819755
Hidenao Iwane, Yosuke Sato, Ryoya Fukasaku
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
68W30: Symbolic computation and algebraic computation
03C10: Quantifier elimination, model completeness, and related topics
Uses Software