On the formalization of Fourier transform in higher-order logic

DOI10.1007/978-3-319-43144-4_31MaRDI QIDQ2829282zbMATH OpenOpenAlexFDO

Authors 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) Higher-order logic (03B16) Mechanization of proofs and logical operations (03B35) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• Formal analysis of continuous-time systems using Fourier transform
• Formalization of Laplace transform using the multivariable calculus theory of HOL-Light
• The formalization of discrete Fourier transform in HOL
• Formalization of transform methods using HOL Light
• On the Formalization of Z-Transform in HOL

Cites work

• scientific article; zbMATH DE number 3790965 (Why is no real title available?)
• scientific article; zbMATH DE number 1987817 (Why is no real title available?)
• Formal analysis of optical systems
• Formalization of Laplace transform using the multivariable calculus theory of HOL-Light
• Mathematical Modeling with Multidisciplinary Applications
• On the Formalization of Z-Transform in HOL
• On the formalization of Fourier transform in higher-order logic

Cited in

(12)

• Formalization of complex vectors in higher-order logic
• On the formalization of the heat conduction problem in HOL
• Formalization of complex analysis and matrix theory
• Fourier series formalization in ACL2(r)
• Formal analysis of continuous-time systems using Fourier transform
• Formalization of function matrix theory in HOL
• Formalization of Laplace transform using the multivariable calculus theory of HOL-Light
• On the formalization of Fourier transform in higher-order logic
• Verified interactive computation of definite integrals
• The formalization of discrete Fourier transform in HOL
• Formalization of transform methods using HOL Light
• On the Formalization of Z-Transform in HOL

Describes a project that uses

Uses Software

• HOL Light

This page was built for publication: On the formalization of Fourier transform in higher-order logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2829282)