The following pages link to (Q3135193):
Displaying 9 items.
- A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field (Q1313807) (← links)
- Constructive rereading of Artin-Schreier theory (Q1382184) (← links)
- Continuity properties for flat families of polynomials. I: Continuous parametrizations (Q1408354) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Impossibility of \(C^{\infty}\) variation or formal power series variation in solutions to Hilbert's 17th problem (Q1881118) (← links)
- Uniform denominators in Hilbert's seventeenth problem (Q1898132) (← links)
- An effective version of Pólya's theorem on positive definite forms (Q1917390) (← links)
- Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) (Q2575772) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)
