zbMATH — the first resource for mathematics

A criterion for detecting unnecessary reductions in the construction of Gröbner-bases. (English) Zbl 0417.68029
Symbolic and algebraic computation, EUROSAM ’79, int. Symp., Marseille 1979, Lect. Notes Comput. Sci. 72, 3-21 (1979).

68Q25 Analysis of algorithms and problem complexity
11T06 Polynomials over finite fields
13A15 Ideals and multiplicative ideal theory in commutative rings