author = {Veronika Pillwein},
title = {{Algorithms for symbolic summation and inequality proving}},
language = {english},
year = {2011},
conferencename = {International Conference on Asymptotics and Special Functions, Hong Kong}