Movie
in the mov format.
Ring R
n
and the Buchberger Algorithm
Slides
.