The following pages link to (Q5869574):
Displaying 6 items.
- Formal analysis of continuous-time systems using Fourier transform (Q1640640) (← links)
- Formalization of geometric algebra in HOL Light (Q2323452) (← links)
- Formalization of transform methods using HOL Light (Q2364690) (← links)
- Lemma Mining over HOL Light (Q2870150) (← links)
- Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light (Q2870169) (← links)
- Steps towards Verified Implementations of HOL Light (Q5327372) (← links)