The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2.
Ruben GamboaPublished in: Formal Methods Syst. Des. (2002)
Keyphrases
- fast fourier transform
- fourier transform
- frequency domain
- floating point
- signal processing
- spectral analysis
- discrete wavelet transform
- discrete fourier transform
- short time fourier transform
- fourier transformation
- discrete cosine transform
- hartley transform
- fourier domain
- high quality
- image fusion
- wavelet transform
- image analysis