A Short Proof of Hall's Theorem on SDRs.

Gregory F. Bachelis

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

Keyphrases

interactive theorem proving
theorem proving
neural network
data mining
image processing
data structure
computational complexity
probability distribution
von neumann
linear logic
logical rules
intuitionistic logic
geometry theorem proving