A proof of the Total Coloring Conjecture.

T. Srinivasa Murthy

Published in: CoRR (2020)

Keyphrases

theorem prover
data structure
linear logic
natural deduction
data sets
artificial intelligence
computer vision
case study
high level
similarity measure
optimal solution
proof theory