Friday, February 22, 2013

Feb 21

Proof of the Buchberger criterion for a Gr\"obner basis.