The Holonomic Ansatz II. Automatic discovery(!) and proof(!!) of holonomic determinant evaluations

Research output: Contribution to journalArticle

7 Scopus citations

Abstract

Many explicit determinant evaluations can be automatically conjectured, and then rigorously automatically proved, once we suspect that they belong to the Holonomic Ansatz.

Original languageEnglish (US)
Pages (from-to)241-247
Number of pages7
JournalAnnals of Combinatorics
Volume11
Issue number2
DOIs
StatePublished - Aug 1 2007

All Science Journal Classification (ASJC) codes

  • Discrete Mathematics and Combinatorics

Keywords

  • Computer-generated combinatorics
  • Explicit evaluations of determinants

Fingerprint Dive into the research topics of 'The Holonomic Ansatz II. Automatic discovery(!) and proof(!!) of holonomic determinant evaluations'. Together they form a unique fingerprint.

  • Cite this