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). |
Year | DOI | Venue |
---|---|---|
1989 | 10.1145/76909.76915 | ACM Trans. Math. Softw. |
Keywords | Field | DocType |
symbolic computation,programming language,gaussian quadrature | Linear combination,Applied mathematics,Error function,Mathematical optimization,Polynomial,Numerical integration,Quadrature (mathematics),Gaussian quadrature,Antiderivative,Mathematics,Calculus,Taylor series | Journal |
Volume | Issue | ISSN |
15 | 4 | 0098-3500 |
Citations | PageRank | References |
0 | 0.34 | 8 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
George F. Corliss | 1 | 95 | 26.53 |
Gary Krenz | 2 | 0 | 0.34 |