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.


Full Text: PDF