A Geometric Proof of the Gap Theorem.

David S. Herscovici

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

Keyphrases

interactive theorem proving
geometry theorem proving
theorem proving
database
object recognition
geometric structure
von neumann
similarity measure
geometric information
geometric primitives
geometric reasoning
proof planning
mathematical proofs