The holonomic ansatz. II: Automatic discovery(!) and proof(!!) of holonomic determinant evaluations

DOI10.1007/S00026-007-0317-YMaRDI QIDQ2385106zbMATH OpenOpenAlexFDO

Authors Doron Zeilberger

Publication date 11 October 2007

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

Full work available at URL https://doi.org/10.1007/s00026-007-0317-y

zbMATH Keywords

computer-generated combinatoricsexplicit evaluations of determinants

Mathematics Subject Classification ID

Exact enumeration problems, generating functions (05A15) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Recommendations

• Advanced computer algebra for determinants
• Zeilberger's holonomic ansatz for Pfaffians
• Determinants through the looking glass
• Advanced determinant calculus
• A curious family of binomial determinants that count rhombus tilings of a holey hexagon

Cited in

(15)

• A curious family of binomial determinants that count rhombus tilings of a holey hexagon
• Binomial determinants for tiling problems yield to the holonomic ansatz
• Inverse inequality estimates with symbolic computation
• Advanced computer algebra for determinants
• Proof of George Andrews's and David Robbins's q-TSPP conjecture
• Zeilberger's holonomic ansatz for Pfaffians
• Creative telescoping for holonomic functions
• Some determinants of path generating functions
• Determinants through the looking glass
• Hardinian arrays
• Determinant evaluations inspired by Di Francesco's determinant for twenty-vertex configurations
• Domino tilings, nonintersecting lattice paths and subclasses of Koutschan-Krattenthaler-Schlosser determinants
• A case study in determinant evaluations
• D-finiteness: a success story
• A short combinatorial proof of Di Francesco's conjecture on Aztec triangles

Describes a project that uses

Uses Software

• DET

This page was built for publication: The holonomic ansatz. II: Automatic discovery(!) and proof(!!) of holonomic determinant evaluations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2385106)