The following pages link to (Q4723875):
Displaying 10 items.
- A bibliography of quantifier elimination for real closed fields (Q1103610) (← links)
- Invariant computations for analytic projective geometry (Q1176391) (← links)
- Computational algebraic geometry of projective configurations (Q1176393) (← 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)
- Spectral spaces of countable Abelian lattice-ordered groups (Q4644964) (← links)
