连续傅里叶变换基础理论的高阶逻辑形式化 (Higher-order Logic Formalization of Basic Theory of Continuous Fourier Transform). - Xingli Lv; Zhiping Shi 002; Xiaojuan Li; Yong Guan; Shiwei Ye; Jie Zhang 074 (计算机科学, 2015)