A Parallel Implementation of the Cylindrical Algebraic Decomposition Algorithm

In this paper, we describe a parallelization scheme for Collins’ cylindrical algebraic decomposition algorithm for quantifier elimination in the theory of real closed fields. We first discuss a parallel implementation of the computer algebra system SAC2 in which a complete sequential implementation of Collins’ algorithm already exists. We report some initial results on the speedup obtained, drawing on a suite of examples previously given by Arnon.

• Type: Conference
• Year: 1989
• Where: ISSAC
• Authors: B. David Saunders, Hong R. Lee, S. Kamal Abdali
• Keywords: Algebraic Decomposition Algorithm, Complete Sequential Implementation, ISSAC 1989, Mathematics, Real Closed fields