You have to log in to edit pages.
Return to Algorithms in Real Algebraic Geometry and its Applications.