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

zbMATH Keywords

congruence\(\pi\)-seriespolynomial reductionholonomic sequence

Mathematics Subject Classification ID

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