Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas.

Adam W. Strzebonski

Browse the full ISSAC paper archive.