DET

The Holonomic Ansatz II. Automatic Discovery(!) And Proof(!!) of Holonomic Determinant Evaluations. Many explicit determinant evaluations can be automatically conjectured, and then rigorously automatically proved, once we suspect that they belong to the Holonomic Ansatz. Accompanied by the Maple package DET available from http://www.math.rutgers.edu/ zeilberg/tokhniot/DET.