By Douglas Hofstadter and Doron Zeilberger
(Exclusively published in the Personal Journal of Shalosh B. Ekhad and Doron Zeilberger and arxiv.org)
Written: Jan. 7, 2014 ; Revised version (with first-named author added): April 17, 2014.
In our recent work on an interesting enumeration problem, we got "stuck". It all boils down to proving a certain, seemingly simple, determinant evaluation. This is a challenge for all you determinant-evaluation whizes, and an opportunity to make the OEIS richer, since we are pledging 500 dollars for a proof and 50 dollars for a disproof (in honor of the prover/disprover, with their name mentioned!)
short Maple code.
The input file produces the output file
Personal Journal of Shalosh B. Ekhad and Doron Zeilberger
Doron Zeilberger's Home Page