Zhao, Chunna; Li, Shanshan Formalization of fractional order PD control systems in HOL4. (English) Zbl 1380.68342 Theor. Comput. Sci. 706, 22-34 (2018). MSC: 68T15 26A33 93B52 × Cite Format Result Cite Review PDF Full Text: DOI
Siddique, Umair; Hasan, Osman On the formalization of gamma function in HOL. (English) Zbl 1315.68224 J. Autom. Reasoning 53, No. 4, 407-429 (2014). MSC: 68T15 26A33 33B15 × Cite Format Result Cite Review PDF Full Text: DOI