Geodesic
Automated proofs for some Stirling number identities
The electronic journal of combinatorics, Tome 15 (2008)

Voir la notice de l'article provenant de la source The Electronic Journal of Combinatorics website

Zbl EuDML
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 
Manuel Kauers; Carsten Schneider. Automated proofs for some Stirling number identities. The electronic journal of combinatorics, Tome 15 (2008). doi: 10.37236/726
@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

Cité par Sources :