A High-tech Proof of the Mills-Robbins-Rumsey Determinant Formula
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
Article Number
R19