A Diameter-Revealing Proof of the Bondy-Lovász Lemma

Hyung-Chan An Robert Kleinberg

Published in: CoRR (2011)

Keyphrases

johnson lindenstrauss
theorem prover
theorem proving
information retrieval
proof planning
mathematical proofs
neural network
machine learning
learning algorithm
artificial intelligence
information systems
data structure
natural deduction