U. Storck. Numerical integration in two dimensions with automatic result verification. In E. Adams and U. Kulisch, editors, Scientific Computing with Automatic Result Verification,Academic Press, New York, etc., 187–224, (1993).

has been cited by the following article:

• TITLE: Interval Integration Revisited

  AUTHORS: Sérgio Galdino

  KEYWORDS: Interval computing, self-validating methods, numerical integration & interval arithmetic

  JOURNAL NAME: Open Journal of Applied Sciences, Vol.2 No.4B, January 15, 2013

  ABSTRACT: We present an overview of approaches to selfvalidatingone-dimensional integration quadrature formulas anda verified numerical integration algorithm with an adaptivestrategy. The new interval integration adaptive algorithm deliversa desired integral enclosure with an error bounded by a specifiederror bound. The adaptive technique is usually much moreefficient than Simpson’s rule and narrow interval results canbe reached.