A Condensed Condensation Proof of a Determinant Evaluation Conjectured by Greg Kuperberg and Jim Propp
arXiv:math/9804124
Abstract
We give a generalization and a short mechanized proof of determinant conjectured by G. Kuperberg and J. Propp. Further generalizations and applications of the method to some q-analogues may be found in http://www.math.temple.edu/~tewodros
2 pages. See also http://www.math.temple.edu/~zeilberg/mamarim/mamarimhtml/rabbit.html