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.
College of Science
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.