A Short Conceptual Proof of Narayana's Path-Counting Formula.

Published in: Electron. J. Comb. (2016)

Keyphrases

shortest path
theorem prover
theorem proving
information retrieval
conceptual model
data mining
genetic algorithm
learning algorithm
information systems
optimal path