A Condensed Condensation Proof of a Determinant Evaluation Conjectured   by Greg Kuperberg and Jim Propp
  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 
Tewodros Amdeberhan (Temple University), Shalosh B. Ekhad