Abstract
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.
| Original language | English |
|---|---|
| Article number | R2 |
| Pages (from-to) | 1-7 |
| Number of pages | 7 |
| Journal | The Electronic Journal of Combinatorics |
| Volume | 15 |
| Issue number | 1 |
| DOIs | |
| Publication status | Published - 2008 |
Fields of science
- 101 Mathematics
- 101001 Algebra
- 101005 Computer algebra
- 101009 Geometry
- 101012 Combinatorics
- 101013 Mathematical logic
- 101020 Technical mathematics