Pages that link to "Item:Q1640640"
From MaRDI portal
The following pages link to Formal analysis of continuous-time systems using Fourier transform (Q1640640):
Displaying 5 items.
- The formalization of discrete Fourier transform in HOL (Q1666338) (← links)
- Verified interactive computation of definite integrals (Q2055881) (← links)
- Formalization of transform methods using HOL Light (Q2364690) (← links)
- Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light (Q2870169) (← links)
- (Q5846264) (← links)