Geodesic
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/}
}
TY  - JOUR
AU  - S. V. Agievich
TI  - Improved Buchberger's algorithm
JO  - Trudy Instituta matematiki
PY  - 2012
SP  - 3
EP  - 13
VL  - 20
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TIMB_2012_20_1_a0/
LA  - ru
ID  - TIMB_2012_20_1_a0
ER  - 
%0 Journal Article
%A S. V. Agievich
%T Improved Buchberger's algorithm
%J Trudy Instituta matematiki
%D 2012
%P 3-13
%V 20
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TIMB_2012_20_1_a0/
%G ru
%F 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/

[1] Koks D., Littl Dzh., O'Shi D., Idealy, mnogoobraziya i algoritmy, Mir, M., 2000

[2] Boulier F., A new criterion to avoid useless critical pairs in Buchberger's algorithm, Technical report LIFL 2001-07, , 2001 http://www.lifl.fr/b̃oulier/PUBLICATIONS/LIFL2001-07.ps.gz

[3] Gebauer R., Möller H. M., “On an Installation of Buchberger's Algorithm”, J. of Symbolic Computation, 1987, no. 6, 257–286

[4] Caboara M., Kreuzer M., Robbiano L., “Efficiently computing minimal sets of critical pairs”, J. of Symbolic Computation, 38:4 (2004), 1169–1190 | DOI | MR

[5] Mora T., Solving Polynomial Equation Systems, v. II, Macaulay's Paradigm and Gröbner Theory, Cambridge University Press, 2005 | MR