Geodesic
Automated proofs for some Stirling number identities
The electronic journal of combinatorics, Tome 15 (2008)
Cet article a éte moissonné depuis la source The Electronic Journal of Combinatorics website

Voir la notice de l'article

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.
DOI : 10.37236/726
Classification : 68W30 
@article{10_37236_726,
     author = {Manuel Kauers and Carsten Schneider},
     title = {Automated proofs for some {Stirling} number identities},
     journal = {The electronic journal of combinatorics},
     year = {2008},
     volume = {15},
     doi = {10.37236/726},
     zbl = {1183.68754},
     url = {http://geodesic.mathdoc.fr/articles/10.37236/726/}
}
TY  - JOUR
AU  - Manuel Kauers
AU  - Carsten Schneider
TI  - Automated proofs for some Stirling number identities
JO  - The electronic journal of combinatorics
PY  - 2008
VL  - 15
UR  - http://geodesic.mathdoc.fr/articles/10.37236/726/
DO  - 10.37236/726
ID  - 10_37236_726
ER  - 
%0 Journal Article
%A Manuel Kauers
%A Carsten Schneider
%T Automated proofs for some Stirling number identities
%J The electronic journal of combinatorics
%D 2008
%V 15
%U http://geodesic.mathdoc.fr/articles/10.37236/726/
%R 10.37236/726
%F 10_37236_726
Manuel Kauers; Carsten Schneider. Automated proofs for some Stirling number identities. The electronic journal of combinatorics, Tome 15 (2008). doi: 10.37236/726

Cité par Sources :