Towards the Formalization of Fractional Calculus in Higher-Order Logic

Umair Siddique, Osman Hasan, Sofiène Tahar

Fractional calculus is a generalization of classical theories of integration and differentiation to arbitrary order (i.e., real or complex numbers). In the last two decades, this n…