Xingli Lv

According to our database, Xingli Lv authored at least 1 paper in 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

连续傅里叶变换基础理论的高阶逻辑形式化 (Higher-order Logic Formalization of Basic Theory of Continuous Fourier Transform).

Xingli Lv, Zhiping Shi, Xiaojuan Li, Yong Guan, Shiwei Ye, Jie Zhang

计算机科学, 2015