Abstract:The ubiquity of the class of D-finite functions and P-recursive sequences in symbolic computation is widely recognized. In this thesis, the presented work consists of two parts related to this class. In the first part, we generalize the reduction-based creative telescoping algorithms to the hypergeometric setting, which allows to deal with definite sums of hypergeometric terms more quickly. We first modify the Abramov-Petkovsek reduction, and then design a new algorithm to compute minimal telescopers for bivariate hypergeometric terms based on the modified reduction. This new algorithm can avoid the costly computation of certificates, and outperforms the classical Zeilberger algorithm no matter whether certificates are computed or not according to the computational experiments. Moreover, we also derive order bounds for minimal telescopers. These bounds are sometimes better, and never worse than the known ones. In the second part of the thesis, we study the class of D-finite numbers. It consists of the limits of convergent P-recursive sequences. Typically, this class contains many well-known mathematical constants in addition to the algebraic numbers. Our definition of the class of D-finite numbers depends on two subrings of the field of complex numbers. We investigate how different choices of these two subrings affect the class. Moreover, we show that D-finite numbers over the Gaussian rational field are essentially the same as the values of D-finite functions at non-singular algebraic number arguments (so-called the regular holonomic constants). This result makes it easier to recognize certain numbers as belonging to this class.

Reduction-based Creative Telescoping for P-recursive Sequences via Integral Bases

On the Existence of Telescopers for P-recursive Sequences

Reduction for congruences of partial sums of P-recursive sequences

Hermite Reduction and Creative Telescoping for Hyperexponential Functions

Efficient Algorithms for Mixed Creative Telescoping

Parallel Summation in P-Recursive Extensions

Creative Telescoping for Hypergeometric Double Sums

Definite Sums of Hypergeometric Terms and Limits of P-Recursive Sequences

Submodule approach to creative telescoping

On the Cardinality and Sum of Reciprocals of Primitive Sequences

Hermite Reduction for D-finite Functions via Integral Bases

Order-Degree Curves for Hypergeometric Creative Telescoping

Power-Partible Reduction and Congruences for Apéry Numbers

Lattice Basis Reduction Algorithms and Multi-Dimensional Continued Fractions

Concatenations of Terms of an Arithmetic Progression

On the $p$-adic valuation of third order linear recurrence sequences

Reduction with degenerate Gram matrix for one-loop integrals

Recursive structure of Baikov representations: The top-down reduction with intersection theory

A Variant of Tao's Method with Application to Restricted Sumsets

New Behavior in Legal Decompositions Arising from Non-positive Linear Recurrences