Title  A strategyaccurate 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
strategyaccurate, 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  Buchberger algorithm, Gröbner bases, strategies, reductors 
Length  10 
Copyright  World Scientific Publishing Company 
File 

Language  English 
Year  1994 
Translation 
No 
Refereed 
No 
Conferencename  PASCO '94 