author = {Manuel Kauers and Carsten Schneider},
title = {{Automated Proofs for Some Stirling Number Identities}},
language = {english},
abstract = {We present computer-generated proofs for some summation identities for ($q$-)Stir-ling and ($q$-)Eulerian numbers that were obtained by combining a recent summation algorithm for Stirling number identities with a recurrence solver for difference fields. },
journal = {The Electronic Journal of Combinatorics},
volume = {15},
number = {1},
pages = {1--7},
isbn_issn = {ISSN 1077-8926},
year = {2008},
note = {R2},
refereed = {yes},
length = {7},
url = {https://doi.org/10.37236/726 }