Name
Title | ||
|---|---|---|
分数阶微积分定义的 一致性在HOL4中的验证 (Formalization of Consistency of Fractional Calculus in HOL4). |
Year | DOI | Venue |
|---|---|---|
2016 | 10.11896/j.issn.1002-137X.2016.03.004 | 计算机科学 |
DocType | Volume | Issue |
Journal | 43 | 3 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
7 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Shanshan Li | 1 | 0 | 4.06 |
| Chunna Zhao | 2 | 0 | 0.34 |
| Yong Guan | 3 | 787 | 82.67 |
| Zhiping Shi | 4 | 168 | 43.86 |
| Rui Wang | 5 | 0 | 2.03 |
| Xiaojuan Li | 6 | 1 | 4.88 |
| Shiwei Ye | 7 | 0 | 0.68 |