On the Formalization of Z-Transform in HOL

DOI10.1007/978-3-319-08970-6_31zbMATH Open1416.68178OpenAlexW1955580075MaRDI QIDQ2879271FDOQ2879271

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

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

Mathematics Subject Classification ID

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

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
• Formalization of transform methods using HOL Light
• The formalization of discrete Fourier transform in HOL
• On the formalization of gamma function in HOL

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)