Hilbert's seventeenth problem
= Hilbert's seventeenth problem
{wiki=Hilbert's_seventeenth_problem}
Hilbert's seventeenth problem, formulated by the mathematician David Hilbert in 1900, asks whether every non-negative polynomial in real variables can be represented as a sum of squares of rational functions.