Portable Software for Interval Arithmetic

Yohe, J. M.

doi:10.1007/978-3-7091-8577-3_15

Cited by 6 publications

(3 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Arbitrary precision interval arithmetic was also mentioned as an easy-to-implement extension to Brent's multiple precision package MP as early as 1978 [8]. It was implemented in 1980 [43], using the Augment preprocessor (which replaced arithmetic operators by calls to the appropriate functions, as overloading was not available). However, the precision was not really dynamic, since the memory storage used for every number corresponded to the maximal precision indicated at compile time.…”

Section: Motivations and State Of The Artmentioning

confidence: 99%

Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library

2005

View full text Add to dashboard Cite

This paper justifies why an arbitrary precision interval arithmetic is needed. To provide accurate results, interval computations require small input intervals; this explains why bisection is so often employed in interval algorithms. The MPFI library has been built in order to fulfill this need. Indeed, no existing library met the required specifications. The main features of this library are briefly given and a comparison with a fixed-precision interval arithmetic, on a specific problem, is presented. It shows that the overhead due to the multiple precision is completely acceptable. Eventually, some applications based on MPFI are given: robotics, isolation of polynomial real roots (by an algorithm combining symbolic and numerical computations) and approximation of real roots with arbitrary accuracy. Motivations and State of the ArtComputing with interval arithmetic [3], [25], [31] gives guarantees on a numerical result. The fundamental principle of this arithmetic consists of replacing every number by an interval enclosing it. For instance,  cannot be exactly represented using a binary or decimal arithmetic, but it is certified that  belongs to [314159 314160]. Measurement errors also can be taken into account. The advantages of interval arithmetic are numerous. Computed results are validated, and rounding errors are taken into account, since computer implementations perform outward rounding. Last but not least, interval arithmetic provides global information: for instance, it provides the range of a function over a whole set S, which is a crucial information for global optimization. Such properties cannot be reached without set computing: interval arithmetic computes with sets and is easily available.However, in spite of the improvements in interval analysis, the problem of overestimation, i.e. of enclosures which are far too large and thus of little practical use, seems to plague interval computations. With fixed-precision floating-point arithThis work was done while N. Revol was a member of the ANO Laboratory, University of Lille, France, on sabbatical leave within the Arenaire project. This work was done while F. Rouillier belonged to the Spaces project, LORIA and LIP6, France. Reliable Computing (2005) c Springer 2005 11: 275-290 276 NATHALIE REVOL AND FABRICE ROUILLIERmetic, results can be wide even when the input data are provided with machine precision; a remedy for this phenomenon consists of computing with a higher precision. This proposal is the core of the MPFI library (MPFI stands for Multiple Precision Floating-point Interval), a library implementing arbitrary precision interval arithmetic which is described in this paper.This quest for extra accuracy can be found primarily in the development of algorithms for interval analysis: use of centered forms and slopes instead of direct interval evaluation, preconditioners, and many other directions [5]. Real-world applications where extra accuracy is required are to be found in control theory (we have indeed received requests for a tool that would in...

show abstract

Section: Motivations and State Of The Artmentioning

confidence: 99%

Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library

2005

View full text Add to dashboard Cite

show abstract

“…The oldest library implementing multiple precision interval arithmetic may well be the one developed in Fortran by Yohe in 1980 [44]. It is based on the one hand on the Augment preprocessor, which replaced arithmetic operators by calls to the appropriate functions, as operator overloading was not available, and on the other hand on Brent's MP package for multiple precision floatingpoint arithmetic [10].…”

Section: Brent's Mp Augment and A Multiple Precision Interval Packagmentioning

confidence: 99%

Multiple Precision Interval Packages: Comparing Different Approaches

Grimmer

Petras

Revol

2004

Numerical Software With Result Verification

View full text Add to dashboard Cite

We give a survey on packages for multiple precision interval arithmetic, with the main focus on three specific packages. One is within a Maple environment, 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. Keywords:Multiple precision interval arithmetic, packages, ease of use, efficiency, reliability. RésuméDans cet article est effectué un tour d'horizon des outils implémentant l'arithmétique par intervalles en précision multiple. Un coup de projecteur est donné sur trois de ces outils. Le premier est un paquetage développé pour Maple: intpakX, les deux autres sont des bibliothèques C/C++: GMP-XSC et MPFI. Leurs spécificités sont présentées, puis leurs performances sont données. Enfin, sont développées quelques applications, issues de domaines d'application divers, pour lesquelles l'arithmétique par intervallesà grande précision est fondamentale.

show abstract

“…In [2] wird eine ALGOL-60-lmplementation beschrieben. Hinsichtlich portabler FORTRAN-Routinen verweise ich auf [10] und [11].…”

unclassified

Theorie Und Praxis

1987

PIK - Praxis Der Informationsverarbeitung Und Kommunikation

View full text Add to dashboard Cite

Portable Software for Interval Arithmetic

Cited by 6 publications

References 7 publications

Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library

Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library

Multiple Precision Interval Packages: Comparing Different Approaches

Theorie Und Praxis

Contact Info

Product

Resources

About