A Short Proof of the Hajnal-Szemerédi Theorem on Equitable Colouring.

Hal A. Kierstead Alexandr V. Kostochka

Published in: Comb. Probab. Comput. (2008)

Keyphrases

interactive theorem proving
data mining
theorem prover
proof planning
three dimensional
high level
theorem proving
von neumann
database
real time
machine learning
computer vision
preprocessing