Zeilberger's holonomic ansatz for Pfaffians

DOI10.1145/2442829.2442863zbMath1308.68174arXiv1201.5253OpenAlexW2171930669MaRDI QIDQ5244539

Christoph Koutschan, Masao Ishikawa

Publication date: 27 March 2015

Published in: Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1201.5253

zbMATH Keywords

minorcomputer proofdeterminantMotzkin numberPfaffiansymbolic summationWZ theoryholonomic systems approach

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Combinatorial aspects of matrices (incidence, Hadamard, etc.) (05B20) Determinants, permanents, traces, other special matrix functions (15A15)

Related Items (2)

Advanced computer algebra for determinants ⋮ Creative Telescoping for Holonomic Functions

This page was built for publication: Zeilberger's holonomic ansatz for Pfaffians