Previous Issues
Volume :30 Issue : 1 2003
Add To Cart
Download
Topics in computer supported error control
Auther : H.-.J. DOBNER
HTWK Leipzig - University of Applied Sciences, BOX 301166, 04251 Leipzig, GERMANY, dobner@imn.htwk-leipzig.de
ABSTRACT
The concept of computer aided error control or verifying solutions is a new branch in scientific computing. Verification establishes, in addition to traditional numerical approximations, bounds for marginal errors. To secure enclosures we combine methods from functional analysis, automatic differentiation and interval analysis. Established are algorithms which ultimately control the accuracy of the computed solution. In this article we provide, in particular, a survey on enclosure methods for integral equations.
AMS subject classifications: 451305; 451305; 65G10; 65R20.