A Proof of Catalan's Convolution Formula.

Published in: Integers (2012)

Keyphrases

theorem proving
neural network
image processing
theorem prover
linear logic
impulse response
database
learning algorithm
gaussian kernel
convolution kernel
association for artificial intelligence
complete axiomatization