Real Algebraic Geometry Seminar: Ricardo Mendes, University of Notre Dame

Title: Real root counting and Tarski's theorem on quantifier elimination

Abstract: The goal is to give a proof of Tarski's theorem, using Sturm's method of counting real roots of polynomials.