An alternating sign matrix is a square matrix with entries in {−1, 0, 1} and such that in any row and column: the non-zero entries alternate in sign, and their sum is equal to.Their enumeration formula was conjectured by Mills, Robbins and Rumsey , and proved years later by Zeilberger , and almost simultaneously by Kuperberg . Kuperberg’s proof is based on the study of the partition function of a square ice model whose states are in bijection with ASM’s. Kuperberg was able to get an explicit formula for the partition function for some special values of the spectral parameter. To do this, he used a determinant representation for the partition function, that was obtained by Izergin . Izergin’s proof is based on the Yang-Baxter equations, and on recursive relations discovered by Korepin ...