Polynomial reduction for holonomic sequences and applications in \(\pi\)-series and congruences
DOI10.1016/j.aam.2023.102568zbMath1525.11028arXiv2205.11129OpenAlexW4381433495MaRDI QIDQ6170337
Rong-Hua Wang, Michael X. X. Zhong
Publication date: 12 July 2023
Published in: Advances in Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2205.11129
Factorials, binomial coefficients, combinatorial functions (05A10) Combinatorial identities, bijective combinatorics (05A19) Binomial coefficients; factorials; (q)-identities (11B65) Special sequences and polynomials (11B83) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Congruences for Franel numbers
- On the existence of telescopers for mixed hypergeometric terms
- The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
- New analogues of Clausen's identities arising from the theory of modular forms
- Rational normal forms and minimal decompositions of hypergeometric terms
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- A fast algorithm for proving terminating hypergeometric identities
- New \(_{5}F_{4}\) hypergeometric transformations, three-variable Mahler measures, and formulas for \(1/ \pi \)
- A holonomic systems approach to special functions identities
- The method of creative telescoping
- Domb's numbers and Ramanujan-Sato type series for \(1/\pi\)
- \(q\)-rational reduction and \(q\)-analogues of series for \(\pi\)
- Constructing minimal telescopers for rational functions in three discrete variables
- Polynomial reduction and supercongruences
- Reduction-based creative telescoping for Fuchsian D-finite functions
- Constructing reductions for creative telescoping. The general differentially finite case
- Computing periods of rational integrals
- A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms
- Proof of two conjectures of Sun on congruences for Franel numbers
- Complexity of creative telescoping for bivariate rational functions
- Minimal decomposition of indefinite hypergeometric sums
- Creative telescoping for rational functions using the griffiths
- Existence Problem of Telescopers
- Reduction-Based Creative Telescoping for Algebraic Functions
- New Bounds for Hypergeometric Creative Telescoping
- The rational component of the solution of a first-order linear recurrence relation with a rational right side
- Divisibility results on Franel numbers and related polynomials
- Integration of solutions of linear functional equations
- Gosper summability of rational multiples of hypergeometric terms
- Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions
- Existence Problem of Telescopers for Rational Functions in Three Variables
- Congruences and telescopings of P-recursive sequences
- Rational solutions of linear differential and difference equations with polynomial coefficients
This page was built for publication: Polynomial reduction for holonomic sequences and applications in \(\pi\)-series and congruences
