Login / Signup
Xingli Lv
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 1
Top Topics
Log Polar
Theorem Prover
Fourier Transform
Higher Order Logic
Top Venues
计算机科学
</>
Publications
</>
Xingli Lv
,
Zhiping Shi
,
Xiaojuan Li
,
Yong Guan
,
Shiwei Ye
,
Jie Zhang
连续傅里叶变换基础理论的高阶逻辑形式化 (Higher-order Logic Formalization of Basic Theory of Continuous Fourier Transform).
计算机科学
42 (4) (2015)