Saugata Basu, Richard Pollack, Marie-Françoise Roy: Algorithms in real algebraic geometry

Abstract: Lectures from the book with the same name, and by the same authors, and talks about recent developments.