On the implementation of CGS real QE

DOI10.1007/978-3-319-42432-3_21MaRDI QIDQ2819213zbMATH OpenOpenAlexFDO

Authors Ryoya Fukasaku, Hidenao Iwane, 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

comprehensive Gröbner systemsreal quantifier elimination

Mathematics Subject Classification ID

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

Recommendations

• CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems
• Improving a CGS-QE Algorithm
• On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems
• Real quantifier elimination by computation of comprehensive Gröbner systems
• QE software based on comprehensive Gröbner systems

Cites work

• A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases
• Artificial Intelligence and Symbolic Computation
• scientific article; zbMATH DE number 421661 (Why is no real title available?)
• scientific article; zbMATH DE number 589362 (Why is no real title available?)
• scientific article; zbMATH DE number 1157666 (Why is no real title available?)
• Improving a CGS-QE Algorithm
• Quantifier elimination by cylindrical algebraic decomposition based on regular chains
• Real quantifier elimination by computation of comprehensive Gröbner systems

Cited in

(5)

• A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases
• On multivariate Hermitian quadratic forms
• On Parametric Border Bases
• CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems
• On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems

Describes a project that uses

Uses Software

• QEPCAD
• SYNRAC
• REDLOG

This page was built for publication: On the implementation of CGS real QE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2819213)