Real Algebraic Geometry Seminar: Ricardo Mendes

-

Location: 125 Hayes-Healy Hall

"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.