On the Parallelization of Characteristic-Set-Based Algorithms.

Dongming Wang
DOI: https://doi.org/10.1007/3-540-55437-8_90
1991-01-01
Abstract:This paper presents a parallelized version of algorithms for computing characteristic sets, characteristic series and irreducible characteristic series of sets of multivariate polynomials, decomposing algebraic varieties into irreducible components and proving theorems mechanically in elementary geometries. These algorithms have been implemented with up to 12 processors in MAPLE system by utilizing distributed workstations connected by a local network. The timing statistics on a set of test problems with remarks is given. The encountered problems of using parallelism for these algorithms are discussed.
What problem does this paper attempt to address?