Abstract

An Adaptive Numerical Integration Algorithm with Automatic Result Verification U. Storck A verified numerical integration algorithm with an adaptive strategy for smooth integrands will be presented. We derive verified representations of the remainder term and give a new adaptive strategy which delivers a desired integral enclosure with an error usually bounded by a specified error bound. Here, we discuss the distribution of the specified error bound more closely and present numerical results depending on the distribution of the error.

General Enquiries Dr. Malcolm Brown. Computer Science Cardiff University PO Box 916 Cardiff CF2 3XF, U.K. Malcom@cs.cf.ac.uk

N.B. All Mathematics appears in TeX/LaTeX source.

Page last updated 10/05/99 webmaster.cs.cf.ca.uk