Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2.
Ruben GamboaPublished in: IPPS/SPDP Workshops (1998)
Keyphrases
- fast fourier transform
- fourier transform
- frequency domain
- floating point
- spectral analysis
- signal processing
- discrete wavelet transform
- discrete cosine transform
- fourier transformation
- radon transform
- discrete fourier transform
- fixed point
- non stationary
- image restoration
- multiscale
- high quality
- fourier domain
- similarity measure
- image segmentation