19 research outputs found
Towards the Formalization of Fractional Calculus in Higher-Order Logic
Full text linkFractional 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 new mathematical modeling approach has been widely used
to analyze a wide class of physical systems in various fields of science and
engineering. In this paper, we describe an ongoing project which aims at
formalizing the basic theories of fractional calculus in the HOL Light theorem
prover. Mainly, we present the motivation and application of such formalization
efforts, a roadmap to achieve our goals, current status of the project and
future milestones.Comment: 9 page
Existence of positive solutions for discrete delta-nabla fractional boundary value problems with p-Laplacian
No full textANN embedded data envelopment analysis approach for measuring the efficiency of state boards in India
No full text
Integrating MCDM and GIS for renewable energy spatial models: assessing the individual and combined potential for wind, solar and biomass energy in Southern Spain
No full textShapley value-based multi-objective data envelopment analysis application for assessing academic efficiency of university departments
No full text
