Explicit Expanders and the Ramanujan Conjectures

Alexander Lubotzky Ralph Phillips Peter Sarnak

Published in: STOC (1986)

Keyphrases

real time
image processing
image sequences
multi agent
theorem prover
neural network
genetic algorithm
database systems
feature extraction
reinforcement learning
trade off
inductive inference