The following pages link to Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals (Q1921293):
Displayed 1 item.