On the Formalization of Fourier Transform in Higher-order Logic.
Adnan RashidOsman HasanPublished in: ITP (2016)
Keyphrases
- fourier transform
- higher order logic
- logical framework
- higher order
- theorem prover
- frequency domain
- conditional logic
- signal processing
- inference rules
- fourier domain
- power spectral density
- radon transform
- fourier analysis
- belief revision
- discrete fourier transform
- fourier coefficients
- default reasoning
- neural network
- log polar
- fast fourier transform
- polar coordinates
- frequency spectrum
- fourier descriptors
- image quality
- knowledge representation
- feature extraction