Improving a CGS-QE Algorithm
DOI10.1007/978-3-319-32859-1_20zbMATH Open1460.13051OpenAlexW2489359915MaRDI QIDQ2807840FDOQ2807840
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
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
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)
Cited In (9)
- Can an A.I. win a medal in the mathematical olympiad? -- Benchmarking mechanized mathematics on pre-university problems
- A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases
- On the implementation of CGS real QE
- Corrections to the ``improved Q-M algorithm.
- Improving the Convergence of the Periodic QZ 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
- An improved dqds type algorithm
- CGSQE/SyNRAC: a real quantifier elimination package based on the computation of 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)
