"Real root counting and Tarski's theorem on quantifier elimination"
Ricardo Mendes, Ph. D.
University of Notre Dame
Abstract: The goal is to give a proof of Tarski's theorem, using Sturm's method of counting real roots of polynomials.
Originally published at math.nd.edu.