On the formalization of Fourier transform in higher-order logic
DOI10.1007/978-3-319-43144-4_31zbMATH Open1478.68441OpenAlexW2477915194MaRDI QIDQ2829282FDOQ2829282
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
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
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)
Cites Work
- Formal analysis of optical systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
Cited In (6)
- On the formalization of the heat conduction problem in HOL
- Formal analysis of continuous-time systems using Fourier transform
- Verified interactive computation of definite integrals
- Formalization of transform methods using HOL Light
- On the Formalization of Fourier Transform in Higher-order Logic
- On the Formalization of Z-Transform in HOL
Uses Software
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)
