Creative telescoping for hypergeometric double sums

DOI10.1016/J.JSC.2024.102394MaRDI QIDQ6650579zbMATH OpenFDO

Authors Peter Paule, Carsten Schneider

Publication date 9 December 2024

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.JSC.2024.102394

zbMATH Keywords

contiguous relationscreative telescopinghypergeometric multi-sumsparameterized recurrencesrational solutionssymbolic summation

Mathematics Subject Classification ID

Generalized hypergeometric series, ({}_pF_q) (33C20) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Symbolic computation and algebraic computation (68W30)

Recommendations

• The method of creative telescoping
• A telescoping method for double summations
• On the order of the recurrence produced by the method of creative telescoping
• The extended Zeilberger algorithm with parameters
• Creative telescoping on multiple sums

Cites work

• A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
• A case study for \(\zeta (4)\)
• A computer proof of a series evaluation in terms of harmonic numbers
• A difference ring theory for symbolic summation
• A holonomic systems approach to special functions identities
• A new Sigma approach to multi-summation
• An extension of Zeilberger's fast algorithm to general holonomic functions
• Binomial identities -- combinatorial and algorithmic aspects
• Computer proofs of a new family of harmonic number identities.
• Contiguous relations and creative telescoping
• Converging to Gosper's algorithm
• Decision procedure for indefinite hypergeometric summation
• Denominator bounds for systems of recurrence equations using -extensions
• Greatest factorial factorization and symbolic summation
• scientific article; zbMATH DE number 1254263 (Why is no real title available?)
• scientific article; zbMATH DE number 1254264 (Why is no real title available?)
• scientific article; zbMATH DE number 1262437 (Why is no real title available?)
• scientific article; zbMATH DE number 1263410 (Why is no real title available?)
• scientific article; zbMATH DE number 872231 (Why is no real title available?)
• Hypergeometric solutions of linear recurrences with polynomial coefficients
• On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions
• Plane partitions. VI: Stembridge's TSPP theorem
• Problems of computer algebra involved in the search for polynomial solutions of linear differential and difference equations
• Rational solutions of linear differential and difference equations with polynomial coefficients
• Refined holonomic summation algorithms in particle physics
• Some questions concerning computer-generated proofs of a binomial double- sum identity
• Summation in Finite Terms
• Symbolic summation assists combinatorics

Cited in

(1)

• On two-term hypergeometric recursions with free lower parameters

This page was built for publication: Creative telescoping for hypergeometric double sums

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6650579)