Séminaire Lotharingien de Combinatoire, B89a (2023), 14 pp.
Tewodros Amdeberhan, Christoph Koutschan and Doron Zeilberger
A Case Study in Determinant Evaluations
Abstract.
In this case study, we hope to elucidate three versatile and
powerful tools (Dodgson's condensation, the holonomic ansatz and
constant term evaluations) to operate in tandem in proving a certain
determinantal formula conjectured by the first author.
We also include a postscript describing yet another, more
methodological, toolbox for evaluating determinants: `ask
determinant-guru, Christian Krattenthaler', but advise people
only to use it as a last resort, since if we would have used this last
method right away, we would not have had the fun of doing it all by
ourselves. Throughout this paper, the reader finds new proofs of
interest while marching along the untrodden ways of our journey.
Received: July 22, 2023.
Revised: August 14, 2023.
Accepted: August 15, 2023.
The following versions are available: