Sign in
分数阶微积分定义的一致性在HOL4中的验证 (Formalization of Consistency of Fractional Calculus in HOL4).
Shanshan Li
Chunna Zhao
Yong Guan
Zhiping Shi
Rui Wang
Xiaojuan Li
Shiwei Ye
Published in:
计算机科学 (2016)
Keyphrases
</>
natural deduction
theorem prover
formal methods
higher order logic
sequent calculus
theorem proving
inference rules
computer algebra
operational semantics
knowledge representation
data model
temporal information
database
higher order
consistency checking
formal logic
data mining