Geodesic
A high-tech proof of the Mills-Robbins-Rumsey determinant formula
The electronic journal of combinatorics, The Foata Festschrift volume, Tome 3 (1996) no. 2
Cet article a éte moissonné depuis la source The Electronic Journal of Combinatorics website

Voir la notice de l'article

We give a computer generated proof of the formula of the title, based on Zeilberger's algorithm and a method of George Andrews.
DOI : 10.37236/1277
Classification : 05A15, 15A15
Mots-clés : Mills-Robbins-Rumsey determinant formula, proof certificate 
@article{10_37236_1277,
     author = {Herbert S. Wilf and Marko Petkovsek},
     title = {A high-tech proof of the {Mills-Robbins-Rumsey} determinant formula},
     journal = {The electronic journal of combinatorics},
     year = {1996},
     volume = {3},
     number = {2},
     doi = {10.37236/1277},
     zbl = {0851.05005},
     url = {http://geodesic.mathdoc.fr/articles/10.37236/1277/}
}
TY  - JOUR
AU  - Herbert S. Wilf
AU  - Marko Petkovsek
TI  - A high-tech proof of the Mills-Robbins-Rumsey determinant formula
JO  - The electronic journal of combinatorics
PY  - 1996
VL  - 3
IS  - 2
UR  - http://geodesic.mathdoc.fr/articles/10.37236/1277/
DO  - 10.37236/1277
ID  - 10_37236_1277
ER  - 
%0 Journal Article
%A Herbert S. Wilf
%A Marko Petkovsek
%T A high-tech proof of the Mills-Robbins-Rumsey determinant formula
%J The electronic journal of combinatorics
%D 1996
%V 3
%N 2
%U http://geodesic.mathdoc.fr/articles/10.37236/1277/
%R 10.37236/1277
%F 10_37236_1277
Herbert S. Wilf; Marko Petkovsek. A high-tech proof of the Mills-Robbins-Rumsey determinant formula. The electronic journal of combinatorics, The Foata Festschrift volume, Tome 3 (1996) no. 2. doi: 10.37236/1277

Cité par Sources :