Login / Signup

Proof of a refinement of Blum's conjecture on hexagonal dungeons.

Tri Lai
Published in: Discret. Math. (2017)
Keyphrases
  • theorem proving
  • linear logic
  • refinement process
  • real time
  • hexagonal grid
  • theorem prover
  • proof planning
  • databases
  • multiscale
  • relational databases
  • refinement step
  • geometry theorem proving