Towards the Formalization of Fractional Calculus in Higher-Order Logic
From MaRDI portal
Publication:3453127
DOI10.1007/978-3-319-20615-8_21zbMath1417.68194arXiv1505.02140OpenAlexW1722539034MaRDI QIDQ3453127
Osman Hasan, Sofiène Tahar, Umair Siddique
Publication date: 20 November 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1505.02140
Related Items
COMPLEX FUNCTION PROJECTIVE SYNCHRONIZATION IN FRACTIONAL-ORDER COMPLEX NETWORKS AND ITS APPLICATION IN FRACTAL PATTERN RECOGNITION, Rhythm oscillation in fractional-order relaxation oscillator and its application in image enhancement
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Formal analysis of optical systems
- A chaotic secure communication scheme using fractional chaotic systems based on an extended fractional Kalman filter
- New tuning rules for fractional PI\(^\alpha\) controllers
- A new IIR-type digital fractional order differentiator
- Fractional differentiation for edge detection
- Fractional calculus models of complex dynamics in biological tissues
- The fractional calculus. Theory and applications of differentiation and integration to arbitrary order
- Fractional differential equations. An introduction to fractional derivatives, fractional differential equations, to methods of their solution and some of their applications
- On the formalization of gamma function in HOL
- Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light
- On the Formalization of Z-Transform in HOL
- Initial value problems in discrete fractional calculus
- Mathematical Modeling with Multidisciplinary Applications
- A Machine-Checked Proof of the Odd Order Theorem
- An introduction to the mathematical theory of dynamic materials
- Discrete-time signal processing. An algebraic approach
