A new proof of the refined alternating sign matrix theorem.

Published in: J. Comb. Theory, Ser. A (2007)

Keyphrases

interactive theorem proving
singular value decomposition
singular values
low rank
similarity matrix
image segmentation
high dimensional
covariance matrix
theorem prover
lie group
matrix representation
mathematical proofs