@article{RISC3366,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 }
}