Title | A strategy-accurate parallel Buchberger algorithm |
Author(s) | Giuseppe Attardi, Carlo Traverso |
Type | Article in Conference Proceedings |
Abstract | We describe a parallelized form of Buchberger algorithm that is
strategy-accurate, i.e. that exactly simulates the sequential
algorithm. The algorithm has been experimentally implemented on a a
network of workstations, and notwithstanding some problems the
experimentation gives evidence that the approach is viable. Plans for further work are discussed. |
Keywords | |
Length | 10 |
Copyright | World Scientific Publishing Company |
File |
|
Language | English |
Year | 1994 |
Translation |
No |
Refereed |
No |
Conferencename | PASCO '94 |