The following pages link to Lectures on formally real fields (Q799734):
Displaying 50 items.
- Computable dimension for ordered fields (Q283123) (← links)
- Places, cuts and orderings of function fields (Q324227) (← links)
- Elementary geometric local-global principles for fields (Q385805) (← links)
- An improved algorithm for deciding semi-definite polynomials (Q404554) (← links)
- Algorithms for computing the global infimum and minimum of a polynomial function (Q424330) (← links)
- Approximate roots of a valuation and the Pierce-Birkhoff conjecture (Q439219) (← links)
- Global minimization of multivariate polynomials using nonstandard methods (Q453625) (← links)
- Higher level reduced Witt rings of skew fields (Q581442) (← links)
- Topological differential fields (Q636296) (← links)
- Weakly isotropic quadratic forms under field extensions (Q641871) (← links)
- On generalized Cartan subspaces (Q649092) (← links)
- A Baer-Krull theorem for quasi-ordered groups (Q722589) (← links)
- On the q-dimension of a space of orderings and q-fans (Q796576) (← links)
- Normal matrices over Hermitian discrete valuation rings (Q810112) (← links)
- On points at infinity of real spectra of polynomial rings (Q841555) (← links)
- Symmetrically complete ordered sets abelian groups and fields. (Q891080) (← links)
- Equality-constrained minimization of polynomial functions (Q892787) (← links)
- Baer orderings with noninvariant valuation ring (Q909760) (← links)
- On connectedness of sets in the real spectra of polynomial rings (Q1014805) (← links)
- On maximal subgroups of the multiplicative group of a division algebra. (Q1048958) (← links)
- The field of reals with a predicate for the powers of two (Q1094412) (← links)
- A bibliography of quantifier elimination for real closed fields (Q1103610) (← links)
- Decidable theories of preordered fields (Q1155098) (← links)
- Quadratische Räume unendlicher Dimension und partielle Isomorphismen (Q1161554) (← links)
- The joint embedding property in normal open induction (Q1210354) (← links)
- Fields with henselian valuation rings (Q1225084) (← links)
- Fields with two incomparable Henselian valuation rings (Q1248547) (← links)
- Hermitian forms over ordered *-fields (Q1293105) (← links)
- On Galois groups over Pythagorean and semi-real closed fields (Q1320027) (← links)
- Galois stratification over \(e\)-fold ordered Frobenius fields (Q1320032) (← links)
- On totally positive units of real holomorphy rings (Q1320038) (← links)
- Central extensions of ordered skew fields (Q1321005) (← links)
- Sums of fourth powers of real algebraic functions (Q1331749) (← links)
- Automorphism groups of fields (Q1344909) (← links)
- Witt equivalence of central simple algebras with involution (Q1568119) (← links)
- On the classification of \(k\)-involutions (Q1576601) (← links)
- Embedding ordered fields in formal power series fields (Q1602685) (← links)
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (Q1701667) (← links)
- Formally real fields (Q1795559) (← links)
- Ein nichtkommutativer konvexer Bewertungsring ohne konfinalen Schiefkörper. (A noncommutative convex valuation ring without confinal skew field) (Q1824017) (← links)
- How can a complex square root be computed in an optimal way? (Q1918948) (← links)
- Nonstandard decision methods for the solvability of real polynomial equations (Q1974173) (← links)
- Signatures, sums of Hermitian squares and positive cones on algebras with involution (Q1994820) (← links)
- Determining the limits of bivariate rational functions by Sturm's theorem (Q2000289) (← links)
- Semiorderings and stability index under field extensions (Q2017128) (← links)
- Gradual transitivity in orthogonality spaces of finite rank (Q2029455) (← links)
- Transitivity and homogeneity of orthosets and inner-product spaces over subfields of \(\mathbb{R}\) (Q2143550) (← links)
- Approximation theorems for spaces of localities (Q2205608) (← links)
- Categories of orthogonality spaces (Q2229976) (← links)
- Positive cones on algebras with involution (Q2288088) (← links)
