Speaker：Hui Huang (Fuzhou University)

Time：2024-6-17, 8:30

Location：Conference Room 686 at the 6th floor of Shuli Building at Haiyun Campus

Abstract:

In this talk, we adapt the theory of normal and special polynomials from symbolic integration to the summation setting, and then built up a general framework embracing both the usual shift case and the q-shift case. In the context of this general framework, we develop a unified reduction algorithm, and subsequently a creative telescoping algorithm, applicable to both hypergeometric terms and their q-analogues. Our algorithms allow to split up the usual shift case and the q-shift case only when it is really necessary, and thus instantly reveal the intrinsic differences between these two cases. Tight order bounds on the telescopers, as well as experimental results, are also provided. This is joint work with Shaoshi Chen, Hao Du, Yiman Gao and Ziming Li.