TY  - RPRT
TI  - Towards the Formalization of Fractional Calculus in Higher-Order Logic
AU  - Umair Siddique
AU  - Osman Hasan
AU  - Sofiène Tahar
PY  - 2015
UR  - https://arxiv.org/abs/1505.02140
ID  - 1505.02140
ER  -