10h30: How to find algebraic relations. Manuel Kauers, Risc, Linz.

We consider the problem of finding algebraic relations among sequences defined by recurrence equations and discuss its relevance for symbolic summation. We will present a complete algorithm that computes all the algebraic relations among some given C-finite sequences. This algorithm can be used not only for discovering new identities, but also for proving the absence of certain identities. This work is joint with Burkhard Zimmermann.