The study of alternating sign matrices (ASMs) occupies a central position in enumerative combinatorics, linking intricate algebraic methods with models from statistical physics. ASMs are square ...
The beginnings of combinatorics in India date back to Bharata's Natyasastra and the last chapter of the work Chandahsastra (Sanskrit Prosody) by Pingala (c. 300 BCE). Pingala deals in a few cryptic ...
ABSTRACT: Partition-and-Recur (PAR) method is a simple and useful formal method. It can be used to design and testify algo-rithmic programs. In this paper, we propose that PAR method is an effective ...