Proof of a conjecture of Bowlin and Brin on four-colouring triangulations.

Paul D. Seymour

Published in: Eur. J. Comb. (2014)

Keyphrases

theorem prover
theorem proving
linear logic
complete axiomatization
data sets
knowledge base
three dimensional
multi agent systems
natural deduction
geometry theorem proving