Sciweavers

ISSAC
1989
Springer

A Parallel Implementation of the Cylindrical Algebraic Decomposition Algorithm

14 years 3 months ago
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.
B. David Saunders, Hong R. Lee, S. Kamal Abdali
Added 11 Aug 2010
Updated 11 Aug 2010
Type Conference
Year 1989
Where ISSAC
Authors B. David Saunders, Hong R. Lee, S. Kamal Abdali
Comments (0)