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

Add to Google Calendar
Download Event