Summation algorithms for Stirling number identities

DOI10.1016/J.JSC.2007.08.002MaRDI QIDQ2469233zbMATH OpenOpenAlexFDO

Authors M. Kauers

Publication date 4 February 2008

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

Full work available at URL https://doi.org/10.1016/j.jsc.2007.08.002

zbMATH Keywords

Stirling numberssymbolic summation

Mathematics Subject Classification ID

Combinatorial identities, bijective combinatorics (05A19) Bell and Stirling numbers (11B73)

Review text

The author considers a class of sequences defined by triangular recurrence equations. This class contains Stirling numbers and Eulerian numbers of both kinds, and hypergeometric multiples. The author gives a sufficient criterion for sums over such sequences to obey a recurrence equation and presents some algorithms for computing such recurrence equations efficiently, the algorithms can be used for verifying many known summation identities on Stirling numbers and for discovering new identities.

Recommendations

• Automated proofs for some Stirling number identities
• Generalized Stirling transform
• Expression and computation of generalized Stirling numbers
• scientific article; zbMATH DE number 800258
• Linear recurrence relations for sums of products of two terms

Cites work

• A fast algorithm for proving terminating hypergeometric identities
• A holonomic systems approach to special functions identities
• A procedure for proving special function inequalities involving a discrete parameter
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• An extension of Zeilberger's fast algorithm to general holonomic functions
• Closed form summation of 𝐶-finite sequences
• Decision procedure for indefinite hypergeometric summation
• Greatest factorial factorization and symbolic summation
• scientific article; zbMATH DE number 3851501 (Why is no real title available?)
• scientific article; zbMATH DE number 718142 (Why is no real title available?)
• scientific article; zbMATH DE number 872231 (Why is no real title available?)
• Non-commutative elimination in Ore algebras proves multivariate identities
• Summation in Finite Terms
• Symbolic summation assists combinatorics
• Symbolic summation in difference rings and applications
• Theory of summation in finite terms

Cited in

(13)

• Automated proofs for some Stirling number identities
• Extended Zeilberger's algorithm for identities on Bernoulli and Euler polynomials
• Computation of some integer sequences in Maple
• An implementation of Karr's summation algorithm in Mathematica
• New definitions of the generalized Stirling numbers
• Some open problems related to creative telescoping
• Stirling
• Recurrence relations of Kummer functions and Regge string scattering amplitudes
• Term algebras, canonical representations and difference ring theory for symbolic summation
• Creative telescoping for holonomic functions
• Generalized Stirling transform
• Formal residue and computer-assisted proofs of combinatorial identities
• Review on high energy string scattering amplitudes and symmetries of string theory

Describes a project that uses

Uses Software

• SIGMA
• CFSum

This page was built for publication: Summation algorithms for Stirling number identities

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