A Parallel Implementation of the Cylindrical Algebraic Decomposition Algorithm.

B. David Saunders, Hong R. Lee, S. Kamal Abdali

Browse the full ISSAC paper archive.