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.
CITATION STYLE
Kauers, M., & Schneider, C. (2008). Automated proofs for some stirling number identities. Electronic Journal of Combinatorics, 15(1 R). https://doi.org/10.37236/726
Mendeley helps you to discover research relevant for your work.