Carsten Schneider, Manuel Kauers,
"Automated proofs for some Stirling number identities"
, Serie SFB F013 Reports, Nummer 2007-23, SFB F013, Johannes Kepler University Linz, Altenbergerstraße 69, 4040 Linz, Austria, 2007
Original Titel:
Automated proofs for some Stirling number identities
Sprache des Titels:
Englisch
Original Kurzfassung:
We present computer-generated proofs of 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.
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
SFB F013
Verlagsanschrift:
Johannes Kepler University Linz, Altenbergerstraße 69, 4040 Linz, Austria