A Case Study of Multi-Threaded Grbner Basis Completion.

Beatrice Amrhein, Oliver Gloor, Wolfgang Kchlin

Browse the full ISSAC paper archive.