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