Determinants through the looking glass. Using a recurrence derived from Dogson’s condensation method, we provide numereous 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.