Self-validating integration and approximation of piecewise analytic functions

DOI10.1016/S0377-0427(01)00586-6MaRDI QIDQ1612410zbMATH OpenFDO

Authors Knut Petras

Publication date 22 August 2002

Published in Journal of Computational and Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0377-0427(01)00586-6

zbMATH Keywords

enclosure techniquesinterval arithmeticnumerical quadraturepiecewise analytic functionsresult verification

Mathematics Subject Classification ID

Approximate quadratures (41A55) Numerical quadrature and cubature formulas (65D32) Algorithms with automatic result verification (65G20) Interval and finite arithmetic (65G30)

Review text

Numerical quadrature rules are derived which are self-validating in the sense that interval arithmetic produce enclosures either for the integral or for the function itself. Under some circumstances these new quadrature rules can be shown to be optimal in the sense of operations count.

Recommendations

• Adaptive, Self-Validating Numerical Quadrature
• Publication:4720661
• scientific article; zbMATH DE number 4111889
• Publication:4723144
• Publication:4723145

Cites work

• Adaptive, Self-Validating Numerical Quadrature
• Automatic differentiation: techniques and applications
• Automatic, guaranteed integration of analytic functions
• scientific article; zbMATH DE number 3880009 (Why is no real title available?)
• scientific article; zbMATH DE number 3179593 (Why is no real title available?)
• scientific article; zbMATH DE number 50026 (Why is no real title available?)
• scientific article; zbMATH DE number 3574878 (Why is no real title available?)
• scientific article; zbMATH DE number 3802727 (Why is no real title available?)
• scientific article; zbMATH DE number 3247704 (Why is no real title available?)
• scientific article; zbMATH DE number 3273551 (Why is no real title available?)
• On the complexity of self-validating numerical integration and approximation of functions with singularities

Cited in

(14)

• On the complexity of self-validating numerical integration and approximation of functions with singularities
• Adaptive, Self-Validating Numerical Quadrature
• scientific article; zbMATH DE number 4111889 (Why is no real title available?)
• Fast and Rigorous Arbitrary-Precision Computation of Gauss--Legendre Quadrature Nodes and Weights
• Computing Stieltjes constants using complex integration
• scientific article; zbMATH DE number 3992778 (Why is no real title available?)
• scientific article; zbMATH DE number 3996997 (Why is no real title available?)
• scientific article; zbMATH DE number 3996998 (Why is no real title available?)
• On the Petras algorithm for verified integration of piecewise analytic functions
• Set-Membership Computation of Integrals with Uncertain Endpoints
• On the properties of Sard kernels and multiple error estimates for bounded linear functionals of bivariate functions with application to non-product cubature
• Rigorous numerical integration of algebraic functions
• Principles of verified numerical integration
• Certified error bounds for uncertain elliptic equations

Describes a project that uses

Uses Software

• QUADPACK

This page was built for publication: Self-validating integration and approximation of piecewise analytic functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1612410)