Symbolic Computation Group
David R. Cheriton School of Computer Science
|
|
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 12:01 hours.