Determinants through the Looking Glass

Abstract

AbstractUsing 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