Automated Proofs for Some Stirling Number Identities
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.