Bijective Proofs of Proper Coloring Theorems.

Bruce E. Sagan Vincent Vatter

Published in: Am. Math. Mon. (2021)

Keyphrases

sequent calculus
cut elimination
proof search
theorem prover
theorem proving
equational theories
image segmentation
three dimensional
inference rules
linear logic
natural deduction
mathematical proofs
database
formal proofs
digital topology
probabilistic model
multi objective
multiscale
data mining
databases
data sets