A High-tech Proof of the Mills-Robbins-Rumsey Determinant Formula

  • Herbert S. Wilf
  • Marko Petkovsek

Abstract

We give a computer generated proof of the formula of the title, based on Zeilberger's algorithm and a method of George Andrews.

Published
1995-10-03
How to Cite
Wilf, H. S., & Petkovsek, M. (1995). A High-tech Proof of the Mills-Robbins-Rumsey Determinant Formula. The Electronic Journal of Combinatorics, 3(2), R19. https://doi.org/10.37236/1277