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

Abstract:

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 16:01 hours.