Elementary proof techniques for the maximum number of islands.

János Barát Péter Hajnal Eszter K. Horváth

Published in: Eur. J. Comb. (2011)

Keyphrases

maximum number
theorem prover
databases
building blocks
multiresolution
theorem proving
proof theory
school children
image sequences
information technology
linear logic
automated theorem proving
logical rules
mathematical proofs
geometry theorem proving