Combinatorial proofs of inverse relations and log-concavity for Bessel numbers.

Hyuk Han Seunghyun Seo

Published in: Eur. J. Comb. (2008)

Keyphrases

real numbers
scale space
theorem prover
theorem proving
log files
computer programs
data sets
data mining
computer vision
image segmentation
relational databases
semantic relations
spatial relations