Katona's Intersection Theorem: Four Proofs.

Rudolf Ahlswede Levon H. Khachatrian

Published in: Comb. (2004)

Keyphrases

interactive theorem proving
theorem proving
theorem prover
von neumann
neural network
cut elimination
search engine
feature selection
multiscale
data structure
probabilistic model