Seminar Computational Algebra