分数阶微积分定义的一致性在HOL4中的验证 (Formalization of Consistency of Fractional Calculus in HOL4).
Year: 2016
Type: article
Authors: Shanshan Li, Chunna Zhao, Yong Guan, Zhiping Shi, Rui Wang, Xiaojuan Li, Shiwei Ye
Language: Chinese
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W3013134765