Masahiko Yamazaki, Hiroshi Yamazaki, Yasunari Shidama. Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform. Formalized Mathematics, 16(1-4):311-317, 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.