A purely combinatorial proof of the Hadwiger Debrunner (p, q) Conjecture.

Noga Alon Daniel J. Kleitman

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

Keyphrases

theorem proving
linear logic
mathematical proofs
real world
theorem prover
real time
data sets
databases
social networks
computer vision
knowledge base
database systems
special case