Matjaž Konvalinka

Alternating sign matrices (ASMs) were introduced by Robbins and Rumsey in the early 1980s. Together with Mills they conjectured an enumerative formula for the number of ASMs of size n×n, which was proved independently by Zeilberger and Kuperberg...