Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Yu Yao
Daniel P. Kennedy
Roland Zumkeller
Maximilian Dürr
Dan Graur
Liangliang Shang
David C. Radley
Chen Ma
Barbara Aquilani
Sayed Tanimun Hasan
Home
/
Author
/
XINGLI LV
Author Info
Open Visualization
Name
Papers
Collaborators
XINGLI LV
1
5
Citations
PageRank
Referers
0
0.34
0
Referees
References
0
0
Publications (1 rows)
Collaborators (5 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
连续傅里叶变换基础理论的高阶逻辑形式化 (Higher-order Logic Formalization of Basic Theory of Continuous Fourier Transform).
0
0.34
2018
1