Pages that link to "Item:Q1102744"
From MaRDI portal
The following pages link to On mechanical quantifier elimination for elementary algebra and geometry (Q1102744):
Displayed 8 items.
- Computation of equilibria in noncooperative games (Q815274) (← links)
- Geometric reasoning with logic and algebra (Q918227) (← links)
- A bibliography of quantifier elimination for real closed fields (Q1103610) (← links)
- A cluster-based cylindrical algebraic decomposition algorithm (Q1105372) (← links)
- Partial cylindrical algebraic decomposition for quantifier elimination (Q1186711) (← links)
- An algorithm for solving parametric linear systems (Q1194335) (← links)
- Recent advances on determining the number of real roots of parametric polynomials (Q1808669) (← links)
- Résolution du problème de l'ellipse et du cercle par l'algorithme de Hörmander (Q3479523) (← links)