A case study of Grid Computing and computer algebra: parallel Gröbner Bases and Characteristic Sets

Authors:
Iyad A. Ajwa
Affiliations:
Department of Mathematics and Computer Science, Ashland University, Ashland, USA 44805
Venue:
The Journal of Supercomputing
Year:
2007

Citing 6
Cited 0

Basic principles of mechanical theorem proving in elementary geometrics

Journal of Automated Reasoning
The Parallel L-Machine for Symbolic Computation

EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
On the Parallelization of Characteristic-Set-Based Algorithms

Proceedings of the First International ACPC Conference on Parallel Computation
Parallel algorithms and implementations for the grobner bases algorithm and the characteristic sets method

Parallel algorithms and implementations for the grobner bases algorithm and the characteristic sets method
Computer algebra handbook

Computer algebra handbook
The Anatomy of the Grid: Enabling Scalable Virtual Organizations

International Journal of High Performance Computing Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes a parallel implementation of the Gröbner Bases algorithm and the Characteristic Sets method using a grid environment. The two algorithms, their parallelization, and grid-enabled implementations are presented. The performance of the implementations has been evaluated and the experiments have demonstrated considerable speedups.