Strategy-Accurate Parallel Buchberger Algorithms

Giuseppe Attardi, Carlo Traverso. Strategy-Accurate Parallel Buchberger Algorithms. Journal of Symbolic Computation, 21(4):411-425, 1996.

Abstract

Abstract is missing.