Elementary Proofs for Convolution Identities of Abel and Hagen-Rothe.
Wenchang ChuPublished in: Electron. J. Comb. (2010)
Keyphrases
- theorem proving
- image processing
- theorem prover
- equational theories
- convolution kernel
- learning algorithm
- formal proof
- school children
- discrete fourier transform
- decision procedures
- set theory
- natural deduction
- matrix multiplication
- linear filtering
- fourier domain
- inference rules
- computer vision
- formal proofs
- genetic algorithm