On the Implementation of CGS Real QE

DOI10.1007/978-3-319-42432-3_21zbMath1434.68705MaRDI QIDQ2819213

Hidenao Iwane, Yosuke Sato, Ryoya Fukasaku

Publication date: 28 September 2016

Published in: Mathematical Software – ICMS 2016 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-42432-3_21

zbMATH Keywords

real quantifier elimination; comprehensive Gröbner systems

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)

03C10: Quantifier elimination, model completeness, and related topics

Uses Software

• QEPCAD
• SYNRAC
• REDLOG