Z. Ahmed, Ahmed's integral: the maiden solution, Mathematical Spectrum, vol.48, issue.1, pp.11-12, 2015.

M. Boespflug, M. Dénès, and B. Grégoire, Full Reduction at Full Throttle, Certified Programs and Proofs, pp.362-377, 2011.
DOI : 10.1007/3-540-44464-5_13
URL : https://hal.archives-ouvertes.fr/hal-00650940

S. Boldo, C. Lelay, and G. Melquiond, Coquelicot: A User-Friendly Library of Real Analysis for Coq, Mathematics in Computer Science, vol.24, issue.9, pp.41-62, 2015.
DOI : 10.1109/32.713327
URL : https://hal.archives-ouvertes.fr/hal-00860648

G. F. Corliss and L. B. Rall, Adaptive, Self-Validating Numerical Quadrature, SIAM Journal on Scientific and Statistical Computing, vol.8, issue.5, pp.831-847, 1987.
DOI : 10.1137/0908069

J. W. Eaton, D. Bateman, S. Hauberg, and R. Wehbring, GNU Octave version 3.8.1 manual: a high-level interactive language for numerical computations, 2014.

J. Hass and R. Schlafly, Double Bubbles Minimize, The Annals of Mathematics, vol.151, issue.2, pp.459-515, 2000.
DOI : 10.2307/121042
URL : http://arxiv.org/pdf/math/0003157

H. A. Helfgott, Major arcs for Goldbach's problem, 2014.

F. Immler, Formally Verified Computation of Enclosures of Solutions of Ordinary Differential Equations, NASA Formal Methods (NFM), pp.113-127, 2014.
DOI : 10.1007/978-3-319-06200-6_9

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

E. Makarov and B. Spitters, The Picard Algorithm for Ordinary Differential Equations in Coq, 4th International Conference on Interactive Theorem Proving, pp.463-468978, 2013.
DOI : 10.1007/978-3-642-39634-2_34

´. E. Martin-dorel and G. Melquiond, Proving tight bounds on univariate expressions with elementary functions in Coq DOI 10, Journal of Automated Reasoning, pp.1-31, 1007.

M. Mayero, Formalisation et automatisation de preuves en analyses réelle et numérique, 2001.

R. E. Moore, R. B. Kearfott, and M. J. Cloud, Introduction to Interval Analysis, SIAM, 2009.
DOI : 10.1137/1.9780898717716

N. S. Nedialkov, Interval tools for ODEs and DAEs, Scientific Computing, 2006.

O. Connor, R. Spitters, and B. , A computer verified, monadic, functional implementation of the integral, Theoretical Computer Science, vol.411, issue.37, pp.3386-3402, 2010.

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

W. Tucker, Validated Numerics: A Short Introduction to Rigorous Computations, 2011.
DOI : 10.4171/009-1/54