Definition:Hilbert 23/17

Definite Rational Function as Quotient of Sums of Squares
Expression of definite rational function as quotient of sums of squares.