Dodgson condensation: The historical and mathematical development of an experimental method

Dodgson\u27s condensation method has become a powerful tool in the automation of determinant evaluations. In this expository paper I describe its 19 th century roots and the major steps on the path that began in the 20 th century when the iteration of an identity derived by Dodgson first was studied, including its role in the discovery of the alternating sign matrix conjecture, the evaluation of an important 19 th century determinant in partition theory as well as a combinatorial proof of it. I then discuss additional developments that have led the way to its use in modern experimental mathematics. © 2007 Elsevier Inc. All rights reserved