Several months after the end of the ``contest'' described in Section
5, Wilf and Petkovsek [in a paper published in this volume] using the
WZ methodology proved in a direct and efficient way the most important
special case of (5.1) (namely when z is restricted to a certain
class of integers). While this is not the full (5.1), it is
nonetheless quite adequate to do the entire evaluation of the
Mills-Robbins-Rumsey determinant as presented in Section 7 of [1].
Annotation Form Interface