Automated Proofs for Some Stirling Number Identities
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.
Keyword(s):
1974 ◽
Vol 1974
(265)
◽
pp. 110-137
Keyword(s):
2004 ◽
Vol 88
(513)
◽
pp. 432-440
◽
Keyword(s):