This tutorial has presented SOS techniques as effective criteria for proving the non-negativity of multivariable polynomial functions.
En este tutorial se presentan las técnicas SOS como un criterio efectivo para la demostración de no negatividad de funciones polinómicas multivariables.