Zeilberger's Holonomic Ansatz for Pfaffians
The material on this webpage accompanies the article
Zeilberger's Holonomic Ansatz for Pfaffians
by Masao Ishikawa and Christoph Koutschan.
We provide a Mathematica notebook
containing all computations that constitute the proofs of the
three Pfaffian evaluations in our article. The comments in the
notebook are aiming at a self-contained description of all
technical details of the proofs.
Moreover, since the computation of one of the certificates takes a little
longer, the result of this computation is provided here:
Christoph Koutschan