On the Formalization of Z-Transform in HOL
From MaRDI portal
Publication:2879271
DOI10.1007/978-3-319-08970-6_31zbMath1416.68178OpenAlexW1955580075MaRDI QIDQ2879271
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Formalization of transform methods using HOL Light ⋮ Towards the Formalization of Fractional Calculus in Higher-Order Logic ⋮ Formal analysis of continuous-time systems using Fourier transform ⋮ Formalization of functional variation in HOL Light ⋮ On the Formalization of Fourier Transform in Higher-order Logic
Uses Software
This page was built for publication: On the Formalization of Z-Transform in HOL
