Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals

DOI10.1007/BF02391698zbMath0858.65020OpenAlexW14509124MaRDI QIDQ1921293

Stefan Wedner, Walter Krämer

Publication date: 11 August 1996

Published in: Reliable Computing (Search for Journal in Brave)

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

zbMATH Keywords

automatic differentiationresult verificationdefinite integralsGauss-Legendre quadrature formulaeinterval computer arithmeticsharp enclosures

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30) Approximate quadratures (41A55) Numerical quadrature and cubature formulas (65D32)

Related Items

Unnamed Item, Remarks on geometric properties of SQG sharp fronts and \(\alpha\)-patches, Global Smooth Solutions for the Inviscid SQG Equation, Computing interval enclosures for definite integrals by application of triple adaptive strategies, Computer-assisted proofs in PDE: a survey

Cites Work

• Scientific computing with automatic result verification
• An algorithm for Gaussian quadrature given modified moments
• On the Construction of Gaussian Quadrature Rules from Modified Moments
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item