A Combinatorial Proof of Two Equivalent Identities by Free 2-Motzkin Paths.

Alina F. Y. Zhao

Published in: Integers (2013)

Keyphrases

shortest path
theorem prover
multiple paths
database
data mining
case study
bayesian networks
linear logic
databases
artificial intelligence
computer vision
theorem proving
optimal path
proof search