Efficiently Computing Minimal Sets of Critical Pairs

M. Caboara, M. Kreuzer, L. Robbiano

In the computation of a Gr"obner basis using Buchberger's algorithm, a key issue for improving the efficiency is to produce techniques for avoiding as many unnecessary critical pai…