Login / Signup
A combinatorial proof of Shapiro's Catalan convolution.
Gábor V. Nagy
Published in:
Adv. Appl. Math. (2012)
Keyphrases
</>
theorem prover
theorem proving
convolution kernel
mesh connected
image processing
automated theorem proving
mathematical proofs
data sets
logical rules
linear filtering
computational geometry
multiresolution
case study
computer vision
artificial intelligence
genetic algorithm
neural network
databases