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
ISSN0219-3094
Autores Tópico(s)Algebraic structures and combinatorial models
ResumoMany 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)