Pages that link to "Item:Q2879271"
From MaRDI portal
The following pages link to On the Formalization of Z-Transform in HOL (Q2879271):
Displaying 8 items.
- Formal analysis of continuous-time systems using Fourier transform (Q1640640) (← links)
- The formalization of discrete Fourier transform in HOL (Q1666338) (← links)
- On the formalization of gamma function in HOL (Q2352499) (← links)
- Formalization of transform methods using HOL Light (Q2364690) (← links)
- Formalization of functional variation in HOL Light (Q2423767) (← links)
- On the Formalization of Fourier Transform in Higher-order Logic (Q2829282) (← links)
- Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light (Q2870169) (← links)
- Towards the Formalization of Fractional Calculus in Higher-Order Logic (Q3453127) (← links)