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.