抄録
The double exponential formula is well-known as a powerful numerical quadrature rule. The automatic quadrature routine of the double exponential formula is necessary for the procedure of checking the convergence, but the conventional method of estimating discretization error is too simple to have a reliable estimate. In this paper, we propose a new method which robustly estimates the discretization error quite effectively.
