E. Bishop, Foundations of Constructive Analysis, 1967.

B. Desrochers and L. Jaulin, Computing a Guaranteed Approximation of the Zone Explored by a Robot, IEEE Transactions on Automatic Control, vol.62, issue.1, pp.425-430, 2017.
DOI : 10.1109/TAC.2016.2530719
URL : https://hal.archives-ouvertes.fr/hal-01298366

O. Heimlich, GNU Octave Interval Package, Version 1.4, 2016.

L. Mézo, T. Jailin, L. , and B. Zerr, Inner approximation of a capture basin of a dynamical system, Abstracts of the 9th Summer Workshop on Interval Methods, 2016.

S. G. Rabinovich, Measurement Errors and Uncertainty: Theory and Practice, 2005.

N. Ramdani and N. S. Nedialkov, Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint propagation techniques, Nonlinear Analysis: Hybrid Systems, pp.149-162, 2011.
DOI : 10.1016/j.nahs.2010.05.010
URL : http://www.lirmm.fr/%7Eramdani/pdfs/Ramdani_NAHS_2009.pdf

N. Revol, K. Makino, and M. Berz, Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY, The Journal of Logic and Algebraic Programming, vol.64, issue.1, pp.135-154, 2005.
DOI : 10.1016/j.jlap.2004.07.008
URL : https://hal.archives-ouvertes.fr/inria-00071850

K. Weihrauch, Computable Analysis, 2000.
DOI : 10.1007/11494645_64