1 paper
Martin Harrison
Artin solved Hilbert's 17th problem by showing that every positive semidefinite polynomial can be realized as a sum of squares of rational functions. Pfister gave a bound on t…