Improved Buchberger's algorithm
Trudy Instituta matematiki, Tome 20 (2012) no. 1, pp. 3-13
Voir la notice de l'article provenant de la source Math-Net.Ru
We propose an improved Buchberger's algorithm that jointly uses known and new criteria of elimination of
critical pairs. New criteria are based on construction of a minimal set of generators of the module generated
by the critical syzygies.
@article{TIMB_2012_20_1_a0,
author = {S. V. Agievich},
title = {Improved {Buchberger's} algorithm},
journal = {Trudy Instituta matematiki},
pages = {3--13},
publisher = {mathdoc},
volume = {20},
number = {1},
year = {2012},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/TIMB_2012_20_1_a0/}
}
S. V. Agievich. Improved Buchberger's algorithm. Trudy Instituta matematiki, Tome 20 (2012) no. 1, pp. 3-13. http://geodesic.mathdoc.fr/item/TIMB_2012_20_1_a0/