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

From MaRDI portal