连续傅里叶变换基础理论的高阶逻辑形式化 (Higher-order Logic Formalization of Basic Theory of Continuous Fourier Transform).
Xingli LvZhiping ShiXiaojuan LiYong GuanShiwei YeJie ZhangPublished in: 计算机科学 (2015)
Keyphrases
- fourier transform
- higher order logic
- logical framework
- frequency domain
- higher order
- signal processing
- fourier domain
- conditional logic
- theorem prover
- discrete fourier transform
- radon transform
- fourier descriptors
- log polar
- inference rules
- fast fourier transform
- spatial domain
- polar coordinates
- power spectral density
- feature extraction
- knowledge representation
- frequency spectrum
- bayesian networks