A Proof of a Famous Identity Concerning the Convolution of the Central Binomial Coefficients.

Published in: J. Integer Seq. (2016)

Keyphrases

linear combination
image processing
wavelet coefficients
basis functions
theorem proving
data sets
multiresolution
denoising
first order logic
image denoising
theorem prover
wavelet packet
linear prediction
gaussian kernel
identity management
convolution kernel