SuperReduce: Parallel computation of Grobner bases

Researched is a parallelization method of Buchberger's algorithm used both in the usual polynomial (commutative) and non-commutative setting.

Presentations:

Publication:

On parallel computation of Grobner bases, Proceedings of ICPP’2004 workshops.

Software:

gbtrace.exe (Windows) provides a multiprocessor simulation of the behavior of the algorithm that displays real-time information on the events happenning at the nodes (see the screenshot below).

A collection of test examples can be found here.