Advanced computer algebra for determinants

DOI10.1007/s00026-013-0183-8zbMath1276.33032arXiv1112.0647MaRDI QIDQ368447

Christoph Koutschan, Thotsaporn ``Aek Thanatipanonda

Publication date: 23 September 2013

Published in: Annals of Combinatorics (Search for Journal in Brave)

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

zbMATH Keywords

computer algebra; determinant; rhombus tiling; holonomic ansatz

Mathematics Subject Classification ID

15A15: Determinants, permanents, traces, other special matrix functions

05B45: Combinatorial aspects of tessellation and tiling problems

33F10: Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.)

Uses Software

• HolonomicFunctions
• DODGSON
• DET