On the Formalization of Z-Transform in HOL

DOI10.1007/978-3-319-08970-6_31MaRDI QIDQ2879271zbMATH OpenOpenAlexFDO

Authors Umair Siddique, Mohamed Yousri Mahmoud, Sofiène Tahar

Publication date 8 September 2014

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

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

Mathematics Subject Classification ID

Signal theory (characterization, reconstruction, filtering, etc.) (94A12)

Recommendations

• The formalization of discrete Fourier transform in HOL
• On the formalization of Fourier transform in higher-order logic
• Formalization of function matrix theory in HOL
• Formalization of transform methods using HOL Light
• Formal analysis of discrete-time systems using z-transform
• Reconstruction of Z3's bit-vector proofs in HOL4 and Isabelle/HOL
• Formalization of fixed-point arithmetic in HOL
• On the formalization of gamma function in HOL
• scientific article; zbMATH DE number 2079996

Cited in

(8)

• Towards the formalization of fractional calculus in higher-order logic
• Formal analysis of continuous-time systems using Fourier transform
• Formalization of Laplace transform using the multivariable calculus theory of HOL-Light
• On the formalization of Fourier transform in higher-order logic
• Formalization of functional variation in HOL Light
• The formalization of discrete Fourier transform in HOL
• Formalization of transform methods using HOL Light
• On the formalization of gamma function in HOL

Describes a project that uses

Uses Software

• HOL

This page was built for publication: On the Formalization of Z-Transform in HOL

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