Automated Proofs for Some Stirling Number Identities

  • Manuel Kauers
  • Carsten Schneider

Abstract

We present computer-generated proofs for some summation identities for ($q$-)Stirling and ($q$-)Eulerian numbers that were obtained by combining a recent summation algorithm for Stirling number identities with a recurrence solver for difference fields.

Published
2008-01-01
Article Number
R2