The following pages link to (Q3884218):
Displaying 23 items.
- An improved algorithm for deciding semi-definite polynomials (Q404554) (← links)
- Algorithms for computing the global infimum and minimum of a polynomial function (Q424330) (← links)
- Global minimization of multivariate polynomials using nonstandard methods (Q453625) (← links)
- On preordered fields related Hilbert's 17th problem (Q582325) (← links)
- Ordered fields with the dense orbits property (Q789446) (← links)
- A continuous, constructive solution to Hilbert's \(17^{th}\) problem (Q798716) (← links)
- Powers of totally positive subgroups of fields (Q958519) (← links)
- Some new results on ordered fields (Q1090367) (← links)
- Spaces of orderings and Witt rings of planar ternary rings (Q1124626) (← links)
- Decidable theories of preordered fields (Q1155098) (← links)
- Witt rings and Brauer groups under multiquadratic extensions. II (Q1167755) (← links)
- An effective decision method for semidefinite polynomials (Q1432891) (← links)
- Nonstandard decision methods for the solvability of real polynomial equations (Q1974173) (← links)
- Determining the limits of bivariate rational functions by Sturm's theorem (Q2000289) (← links)
- \(n\)-th root selections in fields (Q2272525) (← links)
- On central extensions of \(\operatorname{SL}(2,F)\) admitting left-orderings (Q2362579) (← links)
- Determination of the tangents for a real plane algebraic curve (Q2457373) (← links)
- Computing the asymptotes for a real plane algebraic curve (Q2464500) (← links)
- Quaternion Algebras with the Same Subfields (Q3001256) (← links)
- The Valuation Difference Rank of a Quasi-Ordered Difference Field (Q3298267) (← links)
- A problem about the weak Hilbert property (Q4225453) (← links)
- (Q4556440) (← links)
- Real Valuations and Orderings on a Module (Q5426294) (← links)