Pages that link to "Item:Q2819755"
From MaRDI portal
The following pages link to Real quantifier elimination by computation of comprehensive Gröbner systems (Q2819755):
Displaying 15 items.
- On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems (Q748755) (← links)
- On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination (Q1185458) (← links)
- A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases (Q1730311) (← links)
- Cylindrical algebraic decomposition with equational constraints (Q2307622) (← links)
- On multivariate Hermitian quadratic forms (Q2319444) (← links)
- On the Implementation of CGS Real QE (Q2819213) (← links)
- Killing the GCH everywhere with a single real (Q2869902) (← links)
- Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation) (Q3452390) (← links)
- Verifying Mixed Real-Integer Quantifier Elimination (Q3613432) (← links)
- On Parametric Border Bases (Q5014657) (← links)
- Regular cylindrical algebraic decomposition (Q5108140) (← links)
- CGSQE/SyNRAC (Q5270200) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464720) (← links)
- A Quantifier Elimination Algorithm for Linear Real Arithmetic (Q5505558) (← links)
- Criteria for Hopf bifurcations with fixed multiplicities (Q6666530) (← links)