  The Sinc quadrature and the Sinc indefinite integration are approximation
formulas for definite integration and indefinite integration, respectively,
which can be applied on any interval by using an appropriate variable
transformation. Their convergence rates have been analyzed for typical cases
including finite, semi-infinite, and infinite intervals. In addition, for
verified automatic integration, more explicit error bounds that are computable
have been recently given on a finite interval. In this paper, such explicit
error bounds are given in the remaining cases on semi-infinite and infinite
intervals.
