The following pages link to Improving a CGS-QE Algorithm (Q2807840):
Displaying 9 items.
- On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems (Q748755) (← links)
- A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases (Q1730311) (← links)
- An improved dqds type algorithm (Q1976415) (← links)
- Corrections to the ``improved Q-M algorithm''. (Q2772302) (← links)
- On the Implementation of CGS Real QE (Q2819213) (← links)
- Real quantifier elimination by computation of comprehensive Gröbner systems (Q2819755) (← links)
- Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 (Q5145435) (← links)
- CGSQE/SyNRAC (Q5270200) (← links)
- Improving the Convergence of the Periodic QZ Algorithm (Q6140507) (← links)