Error estimate with explicit constants for the trapezoidal formula combined with Muhammad-Mori's SE transformation for the semi-infinite interval. - Tomoaki Okayama; Koichi Machida (JSIAM Lett., 2017)