 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.