Pages that link to "Item:Q2829282"
From MaRDI portal
The following pages link to On the Formalization of Fourier Transform in Higher-order Logic (Q2829282):
Displaying 5 items.
- Formal analysis of continuous-time systems using Fourier transform (Q1640640) (← links)
- Verified interactive computation of definite integrals (Q2055881) (← links)
- Formalization of transform methods using HOL Light (Q2364690) (← links)
- On the Formalization of Fourier Transform in Higher-order Logic (Q2829282) (← links)
- On the Formalization of Z-Transform in HOL (Q2879271) (← links)