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

摘要

We propose a two algorithms for computation of (sharp) enclosures of definite interevals: alocal adaptive algorithm(LAA) and aglobal adaptive algorithm(GAA). Both algorithms are based on Gauss-Legendre quadrature. Error terms are bounded using automatic differentiation in combination with interval evaluations.