A different short proof of Brook's theorem.

Published in: Discuss. Math. Graph Theory (2014)

Keyphrases

interactive theorem proving
theorem prover
theorem proving
machine learning
image processing
digital topology
linear logic
digital libraries
von neumann
mobile robot
preprocessing
proof planning
databases
data structure
image segmentation
learning algorithm
neural network