Talk:Gröbner basis/to do


 * Complete Background section
 * Reduction: ✅
 * S-polynomial, ...
 * Rewrite and rename "Formal definition" section: Accurate definition of Gröbner bases. Many equivalent definitions. This is a concept that may be defined independently of any algorithm.
 * Algorithms
 * Buchberger and criteria (merge from Buchberger algorithm)
 * Other algorithms
 * Complexity
 * Generalizations
 * Power series (Standard bases and algorithm of tangent cone)
 * Polynomials over a PID, over a Noetherian ring
 * Non commutative
 * SAGBI