Deals with the algorithmic aspects of real algebraic geometry, the main ideas and techniques, linked to many areas of mathematics and computing. This book conta... » 

Deals with the algorithmic aspects of real algebraic geometry, the main ideas and techniques, linked to many areas of mathematics and computing. This book contains several results, on discriminants of symmetric matrices, real root isolation, global optimization, and quantitative results on semi-algebraic sets. «