I. Araya, B. Neveu, and G. Trombettoni, Exploiting Common Subexpressions in Numerical CSPs, Proc. CP, Constraint Programming, pp.342-357, 2008.
DOI : 10.1007/978-3-540-85958-1_23

J. Aubin and H. Frankowska, Set-Valued Analysis, 1990.

F. Benhamou, F. Goualard, L. Granvilliers, and J. F. Puget, Revising hull and box consistency, Proceedings of the International Conference on Logic Programming, pp.230-244, 1999.

A. Bottino, L. Jaulin, and A. Laurentini, Reconstructing 3D Objects from Silhouettes with Unknown Viewpoints: The Case of Planar Orthographic Views, 8th Iberoamerican Congress on Pattern Recognition, pp.26-29, 2003.
DOI : 10.1007/978-3-540-24586-5_18

URL : https://hal.archives-ouvertes.fr/hal-00861687

M. Ceberio and L. Granvilliers, Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic, Artificial Intelligence and Symbolic Computation, pp.127-141, 2001.
DOI : 10.1007/3-540-44990-6_10

G. Chabert and L. , Contractor programming, Artificial Intelligence, vol.173, issue.11, pp.1079-1100, 2009.
DOI : 10.1016/j.artint.2009.03.002

URL : https://hal.archives-ouvertes.fr/hal-00428957

D. Daney, N. Andreff, G. Chabert, and Y. Papegay, Interval Method for Calibration of Parallel Robots : Vision-based Experiments. Mechanism and Machine Theory, pp.41926-944, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00907729

N. Delanoue, L. Jaulin, and B. Cottenceau, Using interval arithmetic to prove that a set is path-connected. Theoretical Computer Science, Special issue: Real Numbers and Computers, pp.119-128, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00518770

C. Gervet, Interval propagation to reason about sets: Definition and implementation of a practical language, Constraints, vol.16, issue.3?4, pp.191-246, 1997.
DOI : 10.1007/BF00137870

A. Goldsztejn and L. Jaulin, Inner and Outer Approximations of Existentially Quantified Equality Constraints, Proceedings of the Twelfth International Conference on Principles and Practice of Constraint ProgrammingCP 2006), 2006.
DOI : 10.1007/11889205_16

URL : https://hal.archives-ouvertes.fr/hal-00481288

L. Jaulin, Range-Only SLAM With Occupancy Maps: A Set-Membership Approach, IEEE Transactions on Robotics, vol.27, issue.5, pp.1004-1010, 2011.
DOI : 10.1109/TRO.2011.2147110

URL : https://hal.archives-ouvertes.fr/hal-00636000

R. Kearfott, Interval computations, rigor and non-rigor in deterministic continuous global optimization. Optimization Methods and Software, pp.259-279, 2011.

M. Kieffer, L. Jaulin, I. Braems, and E. Walter, Scientific Computing, Validated Numerics, Interval Methods, Proceedings of SCAN 2000, chapter Guaranteed Set Computation with Subpavings, pp.167-178, 2001.

V. Kreinovich, A. Lakeyev, J. Rohn, and P. Kahl, Computational complexity and feasibility of data processing and interval computations, Reliable Computing, vol.10, issue.4, pp.405-409, 1997.
DOI : 10.1007/978-1-4757-2793-7

S. Lagrange, N. Delanoue, and L. Jaulin, On Sufficient Conditions of the Injectivity: Development of a Numerical Test Algorithm via Interval Analysis, Reliable Computing, vol.26, issue.6, pp.409-421, 2007.
DOI : 10.1007/s11155-007-9042-9

URL : https://hal.archives-ouvertes.fr/hal-00859290

J. J. Leonard and H. F. Durrant-whyte, Directed Sonar Sensing for Mobile Robot Navigation, 1992.
DOI : 10.1007/978-1-4615-3652-9

A. Neumaier, Complete search in continuous global optimization and constraint satisfaction, Acta Numerica, vol.13, pp.271-369, 2004.
DOI : 10.1017/S0962492904000194

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

S. Thrun, W. Bugard, and D. Fox, Probabilistic robotics, Communications of the ACM, vol.45, issue.3, 2005.
DOI : 10.1145/504729.504754

W. Tucker, The Lorenz attractor exists Comptes Rendus de l'académie des Sciences, pp.1197-1202, 1999.

M. Van-emden, Algorithmic power from declarative use of redundant constraints, Constraints, vol.4, issue.4, pp.363-381, 1999.
DOI : 10.1023/A:1009821007410

J. Yao, Y. Yao, V. Kreinovich, P. P. Da-silva, S. Starks et al., Towards more adequate representation of uncertainty: From intervals to set intervals, with the possible addition of probabilities and certainty degrees, Proceedings of the IEEE World Congress on Computational Intelligence WCCI'2008, pp.983-990, 2008.