Pages that link to "Item:Q798716"
From MaRDI portal
The following pages link to A continuous, constructive solution to Hilbert's \(17^{th}\) problem (Q798716):
Displaying 19 items.
- Regulous functions (Q314115) (← links)
- Trilinear equations, Bell polynomials, and resonant solutions (Q384618) (← links)
- Continuous Pythagoras numbers for rational quadratic forms (Q580403) (← links)
- Some continuous Positivstellensätze (Q909731) (← links)
- Geometric reasoning with logic and algebra (Q918227) (← links)
- Piecewise-rational retractions onto closed, convex, semi-algebraic sets with interior-synopsis (Q1061799) (← links)
- On mechanical quantifier elimination for elementary algebra and geometry (Q1102744) (← links)
- A bibliography of quantifier elimination for real closed fields (Q1103610) (← links)
- On the idea(l) of logical closure (Q1192341) (← links)
- A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field (Q1313807) (← links)
- Continuity properties for flat families of polynomials. I: Continuous parametrizations (Q1408354) (← links)
- Impossibility of \(C^{\infty}\) variation or formal power series variation in solutions to Hilbert's 17th problem (Q1881118) (← links)
- An \(\ell\)-algebra approach to Artin's solution of Hilbert's seventeenth problem (Q1959932) (← links)
- Bilinear equations and resonant solutions characterized by Bell polynomials (Q2447117) (← links)
- An explicit solution to Post's problem over the reals (Q2479313) (← links)
- Positivity and Optimization: Beyond Polynomials (Q2802532) (← links)
- The Noncommutative Graded Positivstellensatz (Q3155532) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 (Q3478381) (← links)
- Dependence on parameters in analogues of hilberts seventeenth problem (Q4889394) (← links)