Séminaire du 3 septembre 2007.
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
Last modified: Mon May 23 18:32:54 CEST 2005