author = {Manuel Kauers},
title = {{Summation Algorithms for Stirling Number Identities}},
language = {english},
abstract = {We consider a class of sequences defined by triangular recurrence equations. This class contains Stirling numbers and Eulerian numbers of both kinds, and hypergeometric multiples of those. We give a sufficient criterion for sums over such sequences to obey a recurrence equation, and present algorithms for computing such recurrence equations efficiently. Our algorithms can be used for verifying many known summation identities about Stirling numbers instantly, and also for discovering new identities. },
journal = {Journal of Symbolic Computation},
volume = {42},
number = {10},
pages = {948--970},
isbn_issn = {ISSN 0747-7171},
year = {2007},
month = {October},
refereed = {yes},
length = {23}