Manuel Kauers, Carsten Schneider,
"Automated Proofs for Some Stirling Number Identities"
, in The Electronic Journal of Combinatorics, Vol. 15, Nummer 1, Seite(n) 1-7, 2008, ISSN: 1077-8926
Original Titel:
Automated Proofs for Some Stirling Number Identities
Sprache des Titels:
Englisch
Original Kurzfassung:
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.