"Algorithms in Real Algebraic Geometry" - читать интересную книгу автора (Saugata Basu, Richard Pollack, Marie-Françoise Coste-Roy)