Portal de Periódicos da CAPES

Determinants through the Looking Glass

2001; Elsevier BV; Volume: 27; Issue: 2-3 Linguagem: Inglês

10.1006/aama.2001.0732

1090-2074

Tewodros Amdeberhan, Doron Zeilberger,

SAS software applications and methods

Using a recurrence derived from Dodgson's Condensation Method, we provide numerous explicit evaluations of determinants. They were all conjectured, and then rigorously proved, by computer-assisted methods, that should be amenable to full automation. We also mention a first step towards that goal, our Maple package, DODGSON, that automates the special case of Hankel and Toeplitz hypergeometric determinants.