Activity: Talk or presentation › Invited talk › unknown
Description
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, arisen from joint work with Burkhard Zimmermann, 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.