Pages that link to "Item:Q2870169"
From MaRDI portal
The following pages link to Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light (Q2870169):
Displaying 6 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)
- Towards the Formalization of Fractional Calculus in Higher-Order Logic (Q3453127) (← links)
- (Q5869574) (← links)