Symbolic Computation Group

David R. Cheriton School of Computer Science
University of Waterloo, Waterloo, Ontario, Canada

Friday, March 18, 2016, at Western University
Creative Telescoping: Theory and Algorithms
Shaoshi Chen, Academy of Mathematics and Systems Sciences, Chinese Academy of Sciences


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.


Last modified on Sunday, 20 March 2016, at 12:01 hours.