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