Improving a CGS-QE Algorithm
From MaRDI portal
Publication:2807840
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)