author = {C. Schneider},
title = {{Symbolic Summation and Applications}},
language = {english},
year = {2007},
month = {30. April},
note = {Invited colloquium talk at Trisemestre on Methods of Proof Theory in Mathematics, Max Planck Institute for Mathematics, Bonn, Germany},
institution = {Trisemestre on Methods of Proof Theory in Mathematics, Max Planck Institute for Mathematics, Bonn, Germany}