Introduction to interval analysis, 1983. ,
MPFR: A Multiple-precision Binary Floating-point Library with Correct Rounding, ACM Trans. Math. Softw, vol.33, issue.2, p.13, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00103655
Modal Intervals Revisited, Part 1: A Generalized Interval Natural Extension, pp.130-183, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00832813
Modal Intervals Revisited, Part 2: A Generalized Interval Mean Value Extension, pp.184-209, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00832810
MPDI: A Decimal Multiple-Precision Interval Arithmetic Library, pp.38-52, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01451162
Global optimization using interval analysis, Marcel Dekker, 1992. ,
Interval arithmetic in GNU Octave, SWIM 2016: Summer Workshop on Interval Methods, 2016. ,
, IEEE: Institute of Electrical and Electronic Engineers: 754-1985 -IEEE Standard for Binary Floating-Point Arithmetic, 1985.
, IEEE: Institute of Electrical and Electronic Engineers: 754-2008 -IEEE Standard for Floating-Point Arithmetic, 2008.
, IEEE: Institute of Electrical and Electronic Engineers: 1788-2015 -IEEE Standard for Interval Arithmetic, 2015.
How Futile are Mindless Assessments of Roundoff in FloatingPoint Computation, 2006. ,
Interval Analysis in the Extended Interval Space IR, Computing Supplementa, vol.2, issue.1, pp.33-49, 1980. ,
Standardized Notation in Interval Analysis, Computational Technologies, vol.15, issue.1, pp.7-13, 2010. ,
An overview of the upcoming IEEE P-1788 working group document: Standard for interval arithmetic, pp.460-465, 2013. ,
Interval analysis, 1966. ,
Methods and applications of interval analysis, SIAM Studies in Applied Mathematics, 1979. ,
Introduction to Interval Analysis, SIAM, 2009. ,
Jinterval library: Principles, development, and perspectives, Reliable Computing, vol.19, issue.3, pp.229-247, 2014. ,
libieeep1788: A C++ Implementation of the IEEE interval standard P1788, Norbert Wiener in the 21st Century, pp.1-6, 2014. ,
Interval methods for systems of equations, 1990. ,
The Forthcoming IEEE Standard 1788 for Interval Arithmetic, SCAN, vol.9553, pp.23-39, 2015. ,
Inclusion Isotone Extended Interval Arithmetic, 1996. ,
Parallelization of continuous verified global optimization, 19th IFIP TC7 Conf. on System Modelling and Optimization, 1999. ,
URL : https://hal.archives-ouvertes.fr/inria-00545078
Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library, Reliable Computing, vol.11, issue.4, pp.275-290, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00100985
Introduction to the IEEE 1788-2015 standard for interval arithmetic, International Workshop on Numerical Software Verification, pp.14-21, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01559955
Verification Methods: Rigorous Results using Floating-Point Arithmetic, Acta Numerica, vol.19, pp.287-449, 2010. ,
DOI : 10.1017/s096249291000005x
Geometry of Numerals, 1956. ,
Numerical Quality and High Performance In Interval Linear Algebra on Multi-Core Processors, 2014. ,
Validated Numerics -A Short Introduction to Rigorous Computations, 2011. ,