Austria
Johannes Kepler University Linz
Symbolic summation, Abramov-Petkovsek reduction, Integral bases