14h00: A solution to Exercise 95. Manuel Kauers, Risc, Linz.

The 1994 edition of Concrete Mathematics (Graham/Knuth/Patashnik) includes a research problem asking for extending "the Gosper-Zeilberger algorithm from hypergeometric terms to terms that may involve Stirling numbers". In the talk, we propose a solution to this problem. That is, we will (a) define a class of sequences that includes Stirling numbers, Eulerian numbers and hypergeometric multiples of these, (b) give a sufficient criterion for sums over such sequences to obey a recurrence equation, and (c) present algorithms for computing such a recurrence equation efficiently.