Automated proofs for some Stirling number identities

zbMath1183.68754MaRDI QIDQ1010707

Carsten Schneider, Manuel Kauers

Publication date: 7 April 2009

Published in: The Electronic Journal of Combinatorics (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/117206

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (4)

Formal residue and computer-assisted proofs of combinatorial identities ⋮ Structural theorems for symbolic summation ⋮ Creative Telescoping for Holonomic Functions ⋮ Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation

Uses Software

• SIGMA
• Stirling

This page was built for publication: Automated proofs for some Stirling number identities