Algorithms in Symbolic Computation. - Peter Paule; Bruno Buchberger; Lena Kartashova; Manuel Kauers; Carsten Schneider; Franz Winkler 001 (Hagenberg Research, 2009)