A Coq Formalization of Digital Filters.

Diane Gallois-Wong Sylvie Boldo Thibault Hilaire

Published in: CICM (2018)

Keyphrases

digital filters
formal methods
low pass filter
transfer function
infinite impulse response
discrete wavelet transform
computer vision
fir filters
iir filters
neural network
feature extraction
multiresolution
median filter
finite impulse response