Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Curt E. Bruns
Donald J. Patterson
Daniel P. Kennedy
Roland Zumkeller
Maximilian Dürr
Dan Graur
Liangliang Shang
Chen Ma
Barbara Aquilani
Lyndon Bridgwater
Home
/
Author
/
SHIWEI YE
Author Info
Open Visualization
Name
Papers
Collaborators
SHIWEI YE
2
8
Citations
PageRank
Referers
0
0.68
0
Referees
References
0
0
Publications (2 rows)
Collaborators (8 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
分数阶微积分定义的一致性在HOL4中的验证 (Formalization of Consistency of Fractional Calculus in HOL4).
0
0.34
2016
1