archive1315 [Computer Algebra Seminar]