On the Formalization of Z-Transform in HOL

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

Umair Siddique, Sofiène Tahar, Mohamed Yousri Mahmoud

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
• scientific article; zbMATH DE number 7594116
• 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 (6)

• Formal analysis of continuous-time systems using Fourier transform
• Formalization of functional variation in HOL Light
• Formalization of transform methods using HOL Light
• Towards the Formalization of Fractional Calculus in Higher-Order Logic
• On the Formalization of Fourier Transform in Higher-order Logic
• 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)