RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  

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