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.


Full Text: PDF