Combinatorial Proof of the Log-Concavity of the Sequence of Matching Numbers.

Christian Krattenthaler

Published in: J. Comb. Theory, Ser. A (1996)

Keyphrases

matching algorithm
sequence matching
pattern matching
matching process
theorem prover
real time
proof theory
feature points
theorem proving
log log
database
pseudorandom
feature matching
graph matching
image set
image matching
data structure
case study
computer vision