Symbolic Computation Group

The method of creative telescoping is the core of Wilf--Zeilberger's theory for computer-generated proofs of identities in combinatorics and special functions.

The key concept in this method is TELESCOPER, which is a linear differential or recurrence operator. For a specific function, when does a telescoper of certain type exist? And how can one construct telescopers? These are two basic problems related to the method of creative telescoping. In this talk, I will given a survey on recent work on these two problems.