Old Web
English
Sign In
Acemap
>
Paper
>
Formalization of Fractional Flow Component in Higher-Order Logic Theorem Proving
Formalization of Fractional Flow Component in Higher-Order Logic Theorem Proving
2019
Chunna Zhao
Murong Jiang
Yaqun Huang
Keywords:
Mathematics
Fluid mechanics
Rheology
Higher-order logic
Vibration
Flow (psychology)
Automated theorem proving
Calculus
Formal methods
Complex system
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]