A new proof of 3-colorability of Eulerian triangulations.

Mu-Tsun Tsai Douglas B. West

Published in: Ars Math. Contemp. (2011)

Keyphrases

theorem prover
databases
phase transition
automated theorem proving
neural network
computer vision
partial differential equations
theorem proving
relational databases
hidden markov models
natural deduction
mathematical proofs