On the Formalization of Fourier Transform in Higher-order Logic

DOI10.1007/978-3-319-43144-4_31zbMath1478.68441OpenAlexW2477915194MaRDI QIDQ2829282

Adnan Rashid, Osman Hasan

Publication date: 27 October 2016

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-43144-4_31

zbMATH Keywords

Fourier transformhigher-order logicHOL Light

Mathematics Subject Classification ID

Fourier and Fourier-Stieltjes transforms and other transforms of Fourier type (42B10) Mechanization of proofs and logical operations (03B35) Higher-order logic (03B16) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (5)

Formalization of transform methods using HOL Light ⋮ Formal analysis of continuous-time systems using Fourier transform ⋮ On the formalization of the heat conduction problem in HOL ⋮ Verified interactive computation of definite integrals ⋮ On the Formalization of Fourier Transform in Higher-order Logic

Uses Software

• HOL Light

Cites Work

• Formal analysis of optical systems
• On the Formalization of Fourier Transform in Higher-order Logic
• Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light
• On the Formalization of Z-Transform in HOL
• Mathematical Modeling with Multidisciplinary Applications
• Unnamed Item
• Unnamed Item

This page was built for publication: On the Formalization of Fourier Transform in Higher-order Logic