A new proof for the Erdős-Ko-Rado theorem for the alternating group.

Bahman Ahmadi Karen Meagher

Published in: Discret. Math. (2014)

Keyphrases

interactive theorem proving
databases
information retrieval
artificial intelligence
theorem prover
group members
computer vision
multiresolution
geometry theorem proving