Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform
Masahiko Yamazaki, Hiroshi Yamazaki, Yasunari Shidama · Formalized Mathematics · 2008
Extended Riemann Integral of Functions of Real Variable and One-sided Laplace TransformIn this article, we defined a variety of extended Riemann integrals and proved that such integration is linear. Furthermore, we defined the one-sided Laplace transform and proved the linearity of that operator.MML identifier: INTEGR10, version: 7.9.01 4.101.1015