Creative telescoping for hypergeometric double sums

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

Cites Work

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

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