A parallel implementation of the cylindrical algebraic decomposition algorithm
Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation - ISSAC ’89
B. D. Saunders
S. K. Abdali
Parallel univariate polynomial factorization on shared-memory multiprocessors