Source: wikibot/krivine-stengle-positivstellensatz
= Krivine–Stengle Positivstellensatz
{wiki=Krivine–Stengle_Positivstellensatz}
The Krivine–Stengle Positivstellensatz, often referred to in the context of real algebraic geometry, is a fundamental result that provides a connection between polynomial inequalities and the positivity of polynomials on semi-algebraic sets.