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 13 items.
- Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method (Q616847) (← links)
- 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)
- Quantifier elimination theory and maps which preserve semipositivity (Q2687228) (← links)
- A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms (Q2799565) (← links)
- Résolution du problème de l'ellipse et du cercle par l'algorithme de Hörmander (Q3479523) (← links)
- On maps which preserve semipositivity and quantifier elimination theory for real numbers (Q5065095) (← links)
- Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition (Q5495913) (← links)