Towards the formalization of fractional calculus in higher-order logic

Publication
Conferences on Intelligent Computer Mathematics