Decision procedure for indefinite hypergeometric summation

Cited in

(only showing first 100 items - show all)

The \(q\)-WZ method for infinite series
MACSYMA from F to G
Computer algebra: Past and future
Sister Celine's technique and its generalizations
The method of creative telescoping
Hypergeometric solutions of linear recurrences with polynomial coefficients
Finite singularities and hypergeometric solutions of linear recurrence equations
On Zeilberger's algorithm and its \(q\)-analogue
Riordan arrays and combinatorial sums
A generalization of Gosper's algorithm
Binomial identities -- combinatorial and algorithmic aspects
(--1)-enumeration of plane partitions with complementation symmetry
A non-automatic (!) application of Gosper's algorithm evaluates a determinant from tiling enumeration
Computer proofs of a new family of harmonic number identities.
The calculation of average distance in mesh structures.
Special issue: Differential algebra and differential equations
Self-organization of knowledge economies
On the divisibility properties concerning sums of binomial coefficients
A kind of new continued fraction approximation of gamma function based on Mortici's formula
Monotonicity and inequalities for the gamma function
Finding more divisibility properties of binomial sums via the WZ method
Monotonicity properties, inequalities and asymptotic expansions associated with the gamma function
Two asymptotic expansions for gamma function developed by Windschitl's formula
New asymptotic formulas and inequalities for the gamma function based on continued fractions
Some summation rules related to the Riordan arrays
Enumeration of Lozenge tilings of hexagons with cut-off corners
On the structure of multivariate hypergeometric terms.
\(k\)-free recurrences of double hypergeometric terms
A continued fraction approximation of the gamma function
Multibasic and mixed hypergeometric Gosper-type algorithms
On a congruence conjecture of Swisher
Sums of powers of Catalan triangle numbers
Telescoping method, summation formulas, and inversion pairs
q-rational reduction and q-analogues of series for
Say no to case analysis: automating the drudgery of case-based proofs
On polynomials counting essentially irreducible maps
Indirect detection of cosmological constant from interacting open quantum system
Minimal representations and algebraic relations for single nested products
On the existence of telescopers for rational functions in three variables
On the length of integers in telescopers for proper hypergeometric terms
Accelerating indefinite summation: simple classes of summands
Inequalities and asymptotic expansions for the gamma function
A new sharp approximation for the gamma function related to Burnside's formula
An algorithm for deciding the summability of bivariate rational functions
Log-convexity and log-concavity for series in gamma ratios and applications
A generated approximation related to Gosper's formula and Ramanujan's formula
Logarithmic concavity of series in gamma ratios
Best estimates of the generalized Stirling formula
Structural theorems for symbolic summation
Sharp inequalities related to Gosper's formula
Rational solutions of first-order algebraic ordinary difference equations
Monotonicity, convexity, and complete monotonicity of two functions related to the gamma function
A short proof of Burnside's formula for the gamma function
Hypergeometric series with gamma product formula
Some open problems related to creative telescoping
New continued fraction expansions and inequalities for \(n!\) into negative powers of a triangular number
Pattern avoidance in ordered set partitions and words
Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms
On the Gosper-Petkovšek representation of rational functions
Fast computation of special resultants
Ore polynomial rings in one variable in computer algebra.
Summation algorithms for Stirling number identities
A new Sigma approach to multi-summation
A fast algorithm for proving terminating hypergeometric identities. (Reprint)
Indefinite summation with unspecified summands
A telescoping method for double summations
On the rational summation problem
Loops, matchings and alternating-sign matrices
Stirling expansions into negative powers of a triangular number
A generated approximation related to Burnside's formula
An explicit formula for \(| FM(1+1+n)|\)
Telescoping in the context of symbolic summation in Maple
An algorithmic approach to the q-summability problem of bivariate rational functions
A more accurate approximation for the gamma function
Reduction of the 2D Toda hierarchy and linear Hodge integrals
Resultant-free computation of indefinite hyperexponential integrals
On some congruences of certain binomial sums
Accelerating Dougall's \(_{5}F_{4}\)-sum and infinite series involving \(\pi\)
Formal proofs of hypergeometric sums. Dedicated to the memory of Andrzej Trybulec
Asymptotic formulas for g-gonal sequence factorials
Asymptotic formulas for sequence factorial of arithmetic progression
Some new asymptotic approximations of the gamma function based on Nemes' formula, Ramanujan's formula and Burnside's formula
Integral Representation and Algorithms for Closed Form Summation
Construction and implementation of asymptotic expansions for Jacobi-type orthogonal polynomials
An efficient algorithm for deriving summation identities from mutual recurrences
Computer algebra, power series and summation
Evaluation of Binomial Double Sums Involving Absolute Values
Rational Functions Certify Combinatorial Identities
Aligator: A Mathematica Package for Invariant Generation (System Description)
SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS
Fully packed loop models on finite geometries
Unified treatment of several asymptotic formulas for the gamma function
Pfaffian decomposition and a Pfaffian analogue of q-Catalan Hankel determinants
A Riccati differential equation and free subgroup numbers for lifts of \(\mathrm{PSL}_2(\mathbb Z)\) modulo prime powers
A new asymptotic expansion and some inequalities for the gamma function
On the summability of bivariate rational functions
On Ramanujan's large argument formula for the gamma function
The extended Zeilberger algorithm with parameters
Trading order for degree in creative telescoping
A symbolic summation approach to Feynman integral calculus

This page was built for publication: Decision procedure for indefinite hypergeometric summation

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