Real Algebraic Geometry Seminar: "Real root counting and Tarski's theorem on quantifier elimination"
Ricardo Mendes
University of Notre Dame
"Real root counting and Tarski's theorem on quantifier elimination"
Originally published at math.nd.edu.