D. H. Bailey and J. M. Borwein, High-precision numerical integration: Progress and challenges, Journal of Symbolic Computation, vol.46, issue.7, pp.741-754, 2011.
DOI : 10.1016/j.jsc.2010.08.010
URL : https://doi.org/10.1016/j.jsc.2010.08.010

R. Cranley and T. N. Patterson, On the automatic numerical evaluation of definite integrals, The Computer Journal, vol.14, issue.2, pp.189-198, 1971.
DOI : 10.1093/comjnl/14.2.189

N. Hale, Spike integral, 2010.

F. Johansson, Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic, IEEE Transactions on Computers, vol.66, issue.8, pp.1281-1292, 2017.
DOI : 10.1109/TC.2017.2690633
URL : https://hal.archives-ouvertes.fr/hal-01394258

F. Johansson, mpmath version 1.0, p.2017

F. Johansson and M. Mezzarobba, Fast and rigorous arbitrary-precision computation of Gauss-Legendre quadrature nodes and weights, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01705612

A. Mahboubi, G. Melquiond, and T. Sibut-pinote, Formally Verified Approximations of Definite Integrals, International Conference on Interactive Theorem Proving, pp.274-289, 2016.
DOI : 10.1017/S096249291000005X
URL : https://hal.archives-ouvertes.fr/hal-01630143

K. Petras, Self-validating integration and approximation of piecewise analytic functions, Journal of Computational and Applied Mathematics, vol.145, issue.2, pp.345-359, 2002.
DOI : 10.1016/S0377-0427(01)00586-6

S. M. Rump, Verification methods, Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC '10, pp.287-449, 2010.
DOI : 10.1145/1837934.1837937