Indefinite integration with validation

Authors:
George Corliss;Gary Krenz
Affiliations:
Marquette Univ., Milwaukee, WI;Marquette Univ., Milwaukee, WI
Venue:
ACM Transactions on Mathematical Software (TOMS)
Year:
1989

Citing 10
Cited 0

Integration in Finite Terms with Special Functions: the Error Function

Journal of Symbolic Computation
Solving algebraic problems with REDUCE

Journal of Symbolic Computation
A tutorial introduction to Maple

Journal of Symbolic Computation
Computer Algebra: Past and Future

Journal of Symbolic Computation
Adaptive, self-validating numerical quadrature

SIAM Journal on Scientific and Statistical Computing
Comments on the Nature of Automatic Quadrature Routines

ACM Transactions on Mathematical Software (TOMS)
Automatic Differentiation of Computer Programs

ACM Transactions on Mathematical Software (TOMS)
The Scratchpad II Computer Algebra Language and System

EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
Two-sided Approximation to Solutions of Nonlinear Operator Equations - a Comparison of Methods from Classical Analysis, Functional Analysis, and Interval Analysis

Proceedings of the International Symposium on Interval Mathemantics
Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)

Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present an overview of two approaches to validated one-dimensional indefinite integration. The first approach is to find an inclusion of the integrand, then integrate this inclusion to obtain an inclusion of the indefinite integral. Inclusions for the integrand may be obtained from Taylor polynomials, Tschebyscheff polynomials, or other approximating forms which have a known error term. The second approach finds an inclusion of the indefinite integral directly as a linear combination of function evaluations plus an interval-valued error term. This requires a self-validating form of a quadrature formula such as Gaussian quadrature. In either approach, composite formulae improve the accuracy of the inclusion.The result of the validated indefinite integration is an algorithm which may be represented as a character string, a subroutine in a high-level programming language such as Pascal-SC or Fortran, or as a collection of data. An example is given showing the application of validated indefinite integration in constructing a validated inclusion of the error function, erf(x).