Tutorial on quantifier elimination over the reals

Text, PDF

Picture page 9, BMP

Picture page 26, BMP

Picture page 35, BMP


[University of Bath]