The First Bijective Proof of the Alternating Sign Matrix Theorem Theorem.

Ilse Fischer Matjaz Konvalinka

Published in: AofA (2020)

Keyphrases

interactive theorem proving
von neumann
case study
computer vision
clustering algorithm
decision trees
search algorithm
pairwise
control system