Umair Siddique
Umair Siddique
Home
Activities
Publications
SafetyOps
Contact
Towards the formalization of fractional calculus in higher-order logic
Umair Siddique
,
Osman Hasan
,
SofiƩne Tahar
January 2015
PDF
Cite
Type
Conference paper
Publication
Conferences on Intelligent Computer Mathematics
Cite
×