Proof of Blum's conjecture on hexagonal dungeons.

Mihai Ciucu Tri Lai

Published in: J. Comb. Theory, Ser. A (2014)

Keyphrases

theorem proving
multiscale
expert systems
proof search
hexagonal grid
database
neural network
information technology
hidden markov models
gray scale
theorem prover
medial axis
regular grid