Towards a Katona Type Proof for the 2-intersecting Erdos-Ko-Rado Theorem.

Ralph Howard Gyula Károlyi László A. Székely

Published in: Electron. J. Comb. (2001)

Keyphrases

interactive theorem proving
website
theorem proving
database
data sets
learning algorithm
computer vision
feature selection
high level
similarity measure
reinforcement learning
data structure
video sequences