Combinatorial proofs of identities of Calkin and Hirschhorn.

Hong Feng Zhizheng Zhang

Published in: Discret. Math. (2004)

Keyphrases

theorem prover
formal proofs
mathematical proofs
computer vision
theorem proving
real world
data mining
machine learning
artificial intelligence
multimedia
face recognition
special case
hidden markov models
formal proof