An Attempt to Enhance Buchberger's Algorithm by Using Remainder Sequences and GCD Operation.

Tateaki Sasaki

Browse the full SYNASC paper archive.