This talk should be non-technical except the last few slides. The talk is
based on a work done in collaboration with Denis Charles, Max Chickering,
Nikhil Devanur, and Manan Sanghi, all from Microsoft.
Anton Leykin is an invited speaker presenting "Certified numerical solving of systems of polynomial equations"