Computation with semialgebraic sets represented by cylindrical algebraic formulas.

Adam W. Strzebonski

Browse the full ISSAC paper archive.