Login / Signup
Proof of the alternating sign matrix conjecture.
Doron Zeilberger
Published in:
Electron. J. Comb. (1996)
Keyphrases
</>
covariance matrix
positive definite
real time
theorem prover
singular value decomposition
low rank
theorem proving
linear logic
databases
feature extraction
matrix representation
sign recognition