In real algebraic geometry, Krivine–Stengle Positivstellensatz (German for "positive-locus-theorem") characterizes polynomials that are positive on a semialgebraic...
7 KB (1,102 words) - 02:05, 28 April 2024
dimensions ≤ 2.) 1964 Krivine's Nullstellensatz and Positivestellensatz. Rediscovered and popularized by Stengle in 1974. (Krivine uses real quantifier...
26 KB (3,213 words) - 07:56, 3 May 2024