欢迎光临!
您现在所在的位置:首页 >> 通知公告 & 学术信息
学术信息
SEMINARS
Reduction-based Algorithms for Creative Telescoping
时间  Datetime
2018-06-19 14:00 — 15:00 
地点  Venue
Middle Lecture Room
报告人  Speaker
Shaoshi Chen
单位  Affiliation
中科院数学与系统科学研究院, 数学机械化重点实验室
邀请人  Host
Jiyou Li
报告摘要  Abstract

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

Since the early 1990s, four classes of algorithms have been developed for creative telescoping. The fourth and most recent one is based on Hermite reduction and its variants.

This idea was first worked out for bivariate rational functions in 2010. It has since been extended to more general classes of functions, such as hyperexponential functions, hypergeometric terms, algebraic functions and most recently D-finite functions. 

In this talk, we will explain the idea of this approach and a striking advantage over earlier algorithms.