A new short proof of the EKR theorem.

Peter Frankl Zoltán Füredi

Published in: J. Comb. Theory, Ser. A (2012)

Keyphrases

interactive theorem proving
von neumann
theorem proving
theorem prover
linear logic
real time
data mining
computer vision
web services