Lower Bounds for Polynomials in Exact Arithmetic

This is a video of a conference talk given by me at the "SIAM Conference on Applied Algebraic Geometry".
It contains results from the following papers:

• An Experimental Comparison of SONC and SOS Certificates for Unconstrained Optimization,
  with Timo de Wolff,
  accepted for MEGA 2019, see ArXiv
• Exact Optimization via Sums of Nonnegative Circuits and Sums of AM/GM Exponentials,
  with Victor Magron and Timo de Wolff,
  accepted for ISSAC 2019, see ArXiv