Towards the formalization of fractional calculus in higher-order logic

Umair Siddique, Osman Hasan, Sofiéne Tahar
January 2015
PDF
Type
Conference paper
Publication
Conferences on Intelligent Computer Mathematics