International audienceWe give a survey on packages for multiple precision interval arithmetic, with the main focus on three specific packages. One is a Maple package, intpakX, and two are C/C++ libraries, GMP-XSC and MPFI. We discuss their different features, present timing results and show several applications from various fields, where high precision intervals are fundamental
._I_uI79 /I I This report describes the multiple Precision version of the interval arithmetic pac.ka...
International audienceMany scientific computing applications demand massive numerical computations o...
International audienceInterval arithmetic is a tool of choice for numerical software verification, a...
International audienceWe give a survey on packages for multiple precision interval arithmetic, with ...
This paper justifies why an arbitrary precision interval arithmetic is needed: to provide accurate r...
This paper presents a multiple-precision binary floating-point library, written in the ISO C languag...
International audienceIn this paper, we present two implementations of interval arithmetic for OCaml...
International audienceWe describe the mechanisms and implementation of a library that define a decim...
Colloque avec actes et comité de lecture. internationale.International audienceMPFI is a library imp...
Computer users, most of whom assume they are working with reliable routines, unwittingly accept resu...
10 pagesInternational audienceSIMD instructions on floating-point numbers have been readily available...
International audienceWe present the design of the Boost interval arithmetic library, a C++ library ...
International audiencePublic available Julia package for interval arithmetic has been investigated. ...
._I_uI79 /I I This report describes the multiple Precision version of the interval arithmetic pac.ka...
International audienceMany scientific computing applications demand massive numerical computations o...
International audienceInterval arithmetic is a tool of choice for numerical software verification, a...
International audienceWe give a survey on packages for multiple precision interval arithmetic, with ...
This paper justifies why an arbitrary precision interval arithmetic is needed: to provide accurate r...
This paper presents a multiple-precision binary floating-point library, written in the ISO C languag...
International audienceIn this paper, we present two implementations of interval arithmetic for OCaml...
International audienceWe describe the mechanisms and implementation of a library that define a decim...
Colloque avec actes et comité de lecture. internationale.International audienceMPFI is a library imp...
Computer users, most of whom assume they are working with reliable routines, unwittingly accept resu...
10 pagesInternational audienceSIMD instructions on floating-point numbers have been readily available...
International audienceWe present the design of the Boost interval arithmetic library, a C++ library ...
International audiencePublic available Julia package for interval arithmetic has been investigated. ...
._I_uI79 /I I This report describes the multiple Precision version of the interval arithmetic pac.ka...
International audienceMany scientific computing applications demand massive numerical computations o...
International audienceInterval arithmetic is a tool of choice for numerical software verification, a...