An adaptive numerical integration algorithm with automatic result verification for definite integrals

DOI10.1007/S006070070011MaRDI QIDQ1840765zbMATH OpenOpenAlexFDO

Authors Ulrike Storck

Publication date 21 August 2001

Published in Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s006070070011

zbMATH Keywords

numerical integrationnumerical resultsGauss-Legendre quadratureadaptive algorithmquadrature formulaverified computingadaptive subdivision

Mathematics Subject Classification ID

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

Recommendations

• Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals
• scientific article; zbMATH DE number 440798
• A simple, efficient and more reliable scheme for automatic numerical integration
• On optimal adaptive quadratures for automatic integration
• scientific article; zbMATH DE number 434849
• scientific article; zbMATH DE number 431523
• Automatic differentiation of numerical integration algorithms
• Automatic integration using asymptotically optimal adaptive simpson quadrature
• scientific article; zbMATH DE number 687567
• scientific article; zbMATH DE number 1217792

Cited in

(14)

• Computing interval enclosures for definite integrals by application of triple adaptive strategies
• scientific article; zbMATH DE number 434848 (Why is no real title available?)
• scientific article; zbMATH DE number 46388 (Why is no real title available?)
• scientific article; zbMATH DE number 1217792 (Why is no real title available?)
• scientific article; zbMATH DE number 4111889 (Why is no real title available?)
• Formally verified approximations of definite integrals
• scientific article; zbMATH DE number 1639661 (Why is no real title available?)
• A simple, efficient and more reliable scheme for automatic numerical integration
• Verified interactive computation of definite integrals
• scientific article; zbMATH DE number 440798 (Why is no real title available?)
• Computer-assisted enclosure methods for elliptic differential equations
• On the Petras algorithm for verified integration of piecewise analytic functions
• Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals
• Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities

This page was built for publication: An adaptive numerical integration algorithm with automatic result verification for definite integrals

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