On the Implementation of CGS Real QE

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

Hidenao Iwane, Ryoya Fukasaku, Yosuke Sato

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 eliminationcomprehensive Gröbner systems

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (3)

A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases ⋮ On multivariate Hermitian quadratic forms ⋮ On Parametric Border Bases

Uses Software

• QEPCAD
• SYNRAC
• REDLOG

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Improving a CGS-QE Algorithm
• Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems
• A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases
• Artificial Intelligence and Symbolic Computation
• Quantifier elimination by cylindrical algebraic decomposition based on regular chains

This page was built for publication: On the Implementation of CGS Real QE