Reduction-based Algorithms for Creative Telescoping

主讲人:陈绍示(数学机械化重点实验室)
时间:2015年6月24日上午10:00   地点:N202

【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 by Chen in his PhD thesis. It has since been extended to more general classes of functions, such as hyperexponential functions and hypergeometric terms. In this talk, we will explain the idea of this approach and a striking advantage over earlier algorithms.