摘要
We present an overview of approaches to selfvalidating?one-dimensional integration quadrature formulas and?a verified numerical integration algorithm with an adaptive?strategy. The new interval integration adaptive algorithm delivers?a desired integral enclosure with an error bounded by a specified?error bound. The adaptive technique is usually much more?efficient than Simpson’s rule and narrow interval results can?be reached.
We present an overview of approaches to selfvalidating?one-dimensional integration quadrature formulas and?a verified numerical integration algorithm with an adaptive?strategy. The new interval integration adaptive algorithm delivers?a desired integral enclosure with an error bounded by a specified?error bound. The adaptive technique is usually much more?efficient than Simpson’s rule and narrow interval results can?be reached.
