A counting proof of the Graham-Pollak Theorem.

Sundar Vishwanathan

Published in: Discret. Math. (2013)

Keyphrases

interactive theorem proving
databases
database
theorem proving
neural network
data mining
linear logic
search engine
image sequences
multiscale
objective function
von neumann
digital topology
mathematical proofs