Advanced computer algebra for determinants

DOI10.1007/s00026-013-0183-8zbMath1276.33032arXiv1112.0647OpenAlexW3104826190MaRDI 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 algebradeterminantrhombus tilingholonomic ansatz

Mathematics Subject Classification ID

Determinants, permanents, traces, other special matrix functions (15A15) Combinatorial aspects of tessellation and tiling problems (05B45) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Related Items

Inverse inequality estimates with symbolic computation ⋮ Binomial determinants for tiling problems yield to the holonomic ansatz ⋮ A curious family of binomial determinants that count rhombus tilings of a holey hexagon ⋮ Creative Telescoping for Holonomic Functions

Uses Software

• HolonomicFunctions
• DODGSON
• DET

Cites Work

• Unnamed Item
• A holonomic systems approach to special functions identities
• Advanced determinant calculus
• The holonomic ansatz. II: Automatic discovery(!) and proof(!!) of holonomic determinant evaluations
• The generating function of ternary trees and continued fractions
• Advanced determinant calculus: a complement
• Reverend Charles to the Aid of Major Percy and Fields Medalist Enrico
• Proof of George Andrews’s and David Robbins’s q -TSPP conjecture
• Advanced applications of the holonomic systems approach
• Zeilberger's holonomic ansatz for Pfaffians
• Enumeration of Lozenge tilings of hexagons with a central triangular hole
• Determinants through the looking glass