Formalization of transform methods using HOL Light (Q2364690)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formalization of transform methods using HOL Light |
scientific article |
Statements
Formalization of transform methods using HOL Light (English)
0 references
21 July 2017
0 references
Laplace transform
0 references
Fourier transform
0 references
interactive theorem proving
0 references
HOL Light
0 references
