Buchberger's algorithm and staggered linear bases.

Rüdiger GebauerH. Michael Möller
Published in: SYMSAC (1986)
Keyphrases