Positivity certificates for polynomials using amoebas
Analysis and control of partial differential equations