RISC RISC Research Institute for Symbolic Computation  

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