J. P. Aubin and H. Frankowska, Set-valued analysis, Birkhäuser Boston, 2008.
DOI : 10.1007/978-1-4612-1576-9_5

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590

A. Goldsztejn, A Right-Preconditioning Process for the Formal???Algebraic Approach to Inner and Outer Estimation of AE-Solution Sets, Reliable Computing, vol.7, issue.2, pp.443-478, 2005.
DOI : 10.1007/s11155-005-0404-x

A. Goldsztejn and L. Jaulin, Inner approximation of the range of vectorvalued functions, Reliable Computing, vol.14, pp.1-23, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00518507

P. Herrero, M. Á. Sainz, L. Vehí, and . Jaulin, Quantified Set Inversion Algorithm with Applications to Control, Reliable Computing, vol.10, issue.1, pp.369-382, 2005.
DOI : 10.1007/s11155-005-0044-1
URL : https://hal.archives-ouvertes.fr/hal-00518707

J. N. Hooker, Integrated methods for optimization, 2011.
DOI : 10.1007/978-1-4614-1900-6

Y. Ishida and A. Nogi, Reasoning about structure of interval systems: An approach by sign directed-graph, Proceedings of the 10th International Workshop on Qualitative Reasoning (QR-96), 1996.

D. Ishii, A. Goldsztejn, and C. Jermann, Interval-based projection method for under-constrained numerical systems, Constraints, vol.8, issue.5, pp.432-460, 2012.
DOI : 10.1007/s10601-012-9126-y
URL : https://hal.archives-ouvertes.fr/hal-00868023

L. Jaulin, M. Kieffer, O. Didrit, and É. Walter, Applied interval analysis: with examples in parameter and state estimation, robust control and robotics, 2001.
DOI : 10.1007/978-1-4471-0249-6
URL : https://hal.archives-ouvertes.fr/hal-00845131

L. Jaulin and É. Walter, Guaranteed tuning, with application to robust control and motion planning, Automatica, vol.32, issue.8, pp.1217-1221, 1996.
DOI : 10.1016/0005-1098(96)00050-7

E. Kaucher, Interval Analysis in the Extended Interval Space IR, pp.33-49, 1980.
DOI : 10.1007/978-3-7091-8577-3_3

L. Levy, Sur la possibilité de l'équilibre électrique, CR Acad. Sci. Paris, vol.93, pp.706-708, 2006.

R. E. Moore, Interval analysis, 1966.

V. M. Nesterov, Interval and twin arithmetics, Reliable Computing, vol.3, issue.4, pp.369-380, 1997.
DOI : 10.1023/A:1009945403631

A. Neumaier, Interval methods for systems of equations, 1990.
DOI : 10.1017/CBO9780511526473

A. Neumaier, Complete search in continuous global optimization and constraint satisfaction, Acta Numerica, vol.13, issue.1, pp.271-369, 2004.
DOI : 10.1017/S0962492904000194
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.399.8122

S. Poljak and J. Rohn, Checking robust nonsingularity is NP-hard, Mathematics of Control, Signals, and Systems, vol.126, issue.1, pp.1-9, 1993.
DOI : 10.1007/BF01213466

J. Rohn, Systems of linear interval equations. Linear algebra and its applications, pp.39-78, 1989.

J. Rohn, Interval Matrices: Singularity and Real Eigenvalues, SIAM Journal on Matrix Analysis and Applications, vol.14, issue.1, pp.82-82, 1993.
DOI : 10.1137/0614007

O. Taussky, A Recurring Theorem on Determinants, The American Mathematical Monthly, vol.56, issue.10, pp.672-676, 1949.
DOI : 10.2307/2305561

L. W. Tu, An introduction to manifolds, 2010.
DOI : 10.1007/978-1-4419-7400-6