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.
| Original language | English |
|---|
| Place of Publication | Johannes Kepler University Linz, Altenbergerstraße 69, 4040 Linz, Austria |
|---|
| Publisher | SFB F013 |
|---|
| Number of pages | 5 |
|---|
| Publication status | Published - 2007 |
|---|
| Name | SFB F013 Reports |
|---|
| No. | 2007-23 |
|---|
- 101 Mathematics
- 101001 Algebra
- 101005 Computer algebra
- 101009 Geometry
- 101012 Combinatorics
- 101013 Mathematical logic
- 101020 Technical mathematics