An algebraic proof of the Erdős-Ko-Rado theorem for intersecting families of perfect matchings.

Chris D. Godsil Karen Meagher

Published in: Ars Math. Contemp. (2017)

Keyphrases

interactive theorem proving
von neumann
theorem proving
theorem prover
proof planning
machine learning
knowledge base
image processing
multiscale
reinforcement learning
multi agent
digital libraries
sufficient conditions
proof theory
mathematical proofs