A Direct Proof of the Existence of Eigenvalues and Eigenvectors by Weierstrass's Theorem.

Jean Van Schaftingen

Published in: Am. Math. Mon. (2013)

Keyphrases

eigenvalues and eigenvectors
interactive theorem proving
covariance matrix
adjacency matrix
pattern recognition
object recognition
lower bound
special case
computer vision
image processing
markov random field