A short proof of the induced Ramsey Theorem for hypergraphs.

Vindya Bhat Vojtech Rödl

Published in: Discret. Math. (2016)

Keyphrases

interactive theorem proving
theorem proving
linear logic
databases
artificial intelligence
machine learning
multi agent
graph theory
digital topology
proof search
mathematical proofs