Improving a CGS-QE Algorithm

DOI10.1007/978-3-319-32859-1_20MaRDI QIDQ2807840zbMATH OpenOpenAlexFDO

Authors Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato

Publication date 25 May 2016

Published in Mathematical Aspects of Computer and Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-32859-1_20

zbMATH Keywords

Descartes' ruleQEcomprehensive Gröbner system

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)

Recommendations

• An improved DQDS algorithm
• An improved dqds type algorithm
• scientific article; zbMATH DE number 1782362
• Improving the Convergence of the Periodic QZ Algorithm
• (CQ) algorithm implementation
• Extended QRGCD algorithm
• The QR Algorithm Revisited
• Corrections to the ``improved Q-M algorithm.
• scientific article; zbMATH DE number 4009653

Cited in

(9)

• On the implementation of CGS real QE
• A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases
• Improving the Convergence of the Periodic QZ Algorithm
• Corrections to the ``improved Q-M algorithm.
• Can an A.I. win a medal in the mathematical olympiad? -- Benchmarking mechanized mathematics on pre-university problems
• An improved dqds type algorithm
• CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems
• Real quantifier elimination by computation of comprehensive Gröbner systems
• On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems

This page was built for publication: Improving a CGS-QE Algorithm

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