NPTEL Video Course : NOC:Computational Commutative Algebra

Lecture 12 - Buchberger criterion