Wilf, H.S. and Petkovsek, M. 1995. A High-tech Proof of the Mills-Robbins-Rumsey Determinant Formula. The Electronic Journal of Combinatorics. 3, 2 (Oct. 1995), R19. DOI:https://doi.org/10.37236/1277.