A new proof of the Erdös-Ko-Rado theorem for intersecting families of permutations.

Chris D. Godsil Karen Meagher

Published in: Eur. J. Comb. (2009)

Keyphrases

multi agent systems
interactive theorem proving
theorem proving
theorem prover
real time
image sequences
von neumann
data sets
probability distribution
artificial intelligence
feature selection
three dimensional
heavy traffic limit