%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