Algorithms in Real Algebraic Geometry

You may also like...