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  -