High Quality Content by WIKIPEDIA articles! In real semialgebraic geometry, Stengle`s Positivstellensatz (German: "positive-locus-theorem" – see Satz) characterizes polynomials that are positive on a semialgebraic set, which is defined by systems of inequalities of polynomials with real coefficients, or more generally, coefficients from any real-closed field.