The following pages link to (Q4723875):
Displaying 13 items.
- A bibliography of quantifier elimination for real closed fields (Q1103610) (← links)
- Geometrical model theory (Q1129849) (← links)
- Invariant computations for analytic projective geometry (Q1176391) (← links)
- Computational algebraic geometry of projective configurations (Q1176393) (← links)
- Model theory and algebraic geometry. An introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture (Q1264965) (← links)
- Saturation and stability in the theory of computation over the reals (Q1304539) (← links)
- The order structure of the real spectrum of commutative rings (Q1577626) (← links)
- Real spectra and \(\ell\)-spectra of algebras and vector lattices over countable fields (Q2664588) (← links)
- Real spectrum versus \(\ell\)-spectrum via Brumfiel spectrum (Q2688938) (← links)
- Analogy and Its Surprises: An Eyewitness’s Reflections on the Emergence of Real Algebraic Geometry (Q2909758) (← links)
- Faithfully quadratic rings (Q2944979) (← links)
- Algebraic geometry and combinatorics: A model-theoretic point of view (Q3978814) (← links)
- Spectral spaces of countable Abelian lattice-ordered groups (Q4644964) (← links)
