A proof of Alon's second eigenvalue conjecture.

Published in: STOC (2003)

Keyphrases

learning theory
theorem proving
covariance matrix
theorem prover
databases
machine learning
decision making
three dimensional
multi agent
relational databases
special case
least squares
genetic algorithm
preprocessing
multiresolution