Artigo Acesso aberto Revisado por pares

The Holonomic Ansatz II. Automatic Discovery(!) And Proof(!!) of Holonomic Determinant Evaluations

2007; Birkhäuser; Volume: 11; Issue: 2 Linguagem: Inglês

10.1007/s00026-007-0317-y

ISSN

0219-3094

Autores

Doron Zeilberger,

Tópico(s)

Algebraic structures and combinatorial models

Resumo

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

Referência(s)