| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
Laplace Transform
| Title: | Laplace Transform |
| Author: | Fabian Immler |
| Submission date: | 2019-08-14 |
| Abstract: | This entry formalizes the Laplace transform and concrete Laplace transforms for arithmetic functions, frequency shift, integration and (higher) differentiation in the time domain. It proves Lerch's lemma and uniqueness of the Laplace transform for continuous functions. In order to formalize the foundational assumptions, this entry contains a formalization of piecewise continuous functions and functions of exponential order. |
| BibTeX: |
@article{Laplace_Transform-AFP,
author = {Fabian Immler},
title = {Laplace Transform},
journal = {Archive of Formal Proofs},
month = aug,
year = 2019,
note = {\url{http://isa-afp.org/entries/Laplace_Transform.html},
Formal proof development},
ISSN = {2150-914x},
}
|
| License: | BSD License |
| Status: [ok] | This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations. |
|
Proof outline Proof document |
| Browse theories |
| Download this entry |