Login / Signup
A proof of Alon's second eigenvalue conjecture and related problems
Joel Friedman
Published in:
CoRR (2004)
Keyphrases
</>
related problems
learning theory
broadly applicable
structured databases
range searching
theorem prover
machine learning
learning algorithm
least squares
correlation matrix
linear logic
mathematical proofs
stable marriage
proof planning
proof theory
natural deduction
data sets
e learning
information systems
databases