nach oben

Erschienen in:

2020 | OriginalPaper | Buchkapitel

The MPFI Library: Towards IEEE 1788–2015 Compliance

(In Memoriam Dmitry Nadezhin)

verfasst von : Nathalie Revol

Erschienen in: Parallel Processing and Applied Mathematics

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

The IEEE 1788–2015 has standardized interval arithmetic. However, few libraries for interval arithmetic are compliant with this standard. In the first part of this paper, the main features of the IEEE 1788–2015 standard are detailed, namely the structure into 4 levels, the possibility to accomodate a new mathematical theory of interval arithmetic through the notion of flavor, and the mechanism of decoration for handling exceptions. These features were not present in the libraries developed prior to the elaboration of the standard. MPFI is such a library: it is a C library, based on MPFR, for arbitrary precision interval arithmetic. MPFI is not (yet) compliant with the IEEE 1788–2015 standard for interval arithmetic: the planned modifications are presented. Some considerations about performance and HPC on interval computations based on this standard, or on MPFI, conclude the paper.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Electronic and Optical Properties of Carbon Nanotubes Directed to Their Applications in Solar Cells

Nächstes Kapitel Softmax and McFadden’s Discrete Choice Under Interval (and Other) Uncertainty

The definition of the mignitude is \( \mathrm {mig}([a,b]) = \min ( |x| : x \in [a,b]) = \min (|a|, |b|)\) if \( 0 \notin [a,b]\) and \(0\) otherwise.

Alefeld, G., Herzberger, J.: Introduction to Interval Analysis. Academic Press, Cambridge (1983)MATH

Fousse, L., Hanrot, G., Lefèvre, V., Pélissier, P., Zimmermann, P.: MPFR: a multiple-precision binary floating-point library with correct rounding. ACM Trans. Math. Softw. 33(2), 13-es (2007)MathSciNetCrossRef

Goldsztejn, A.: Modal intervals revisited, part 1: a generalized interval natural extension. Reliable Comput. 16, 130–183 (2012)MathSciNet

Goldsztejn, A.: Modal intervals revisited, part 2: a generalized interval mean value extension. Reliable Comput. 16, 184–209 (2012)MathSciNet

Graillat, S., Jeangoudoux, C., Lauter, C.: MPDI: a decimal multiple-precision interval arithmetic library. Reliable Comput. 25, 38–52 (2017)MathSciNet

Hansen, E.R.: Global Optimization Using Interval Analysis. Marcel Dekker, New York (1992)MATH

Heimlich, O.: Interval arithmetic in GNU Octave. In: SWIM 2016: Summer Workshop on Interval Methods, France (2016)

IEEE: Institute of Electrical and Electronic Engineers: 754–1985 - IEEE Standard for Binary Floating-Point Arithmetic. IEEE Computer Society (1985)

IEEE: Institute of Electrical and Electronic Engineers: 754–2008 - IEEE Standard for Floating-Point Arithmetic. IEEE Computer Society (2008)

10.

IEEE: Institute of Electrical and Electronic Engineers: 1788–2015 - IEEE Standard for Interval Arithmetic. IEEE Computer Society (2015)

11.

Kahan, W.: How Futile are Mindless Assessments of Roundoff in Floating-Point Computation? (2006). https://people.eecs.berkeley.edu/~wkahan/Mindless.pdf

12.

Kaucher, E.: Interval analysis in the extended interval space IR. Comput. Supplementa 2(1), 33–49 (1980). https://doi.org/10.1007/978-3-7091-8577-3_3MathSciNetCrossRefMATH

13.

Kearfott, R.B., Nakao, M.T., Neumaier, A., Rump, S.M., Shary, S.P., van Hentenryck, P.: Standardized notation in interval analysis. Comput. Technol. 15(1), 7–13 (2010)MATH

14.

Kearfott, R.B.: An overview of the upcoming IEEE P-1788 working group document: standard for interval arithmetic. In: IFSA/NAFIPS, pp. 460–465. IEEE, Canada (2013)

15.

Moore, R.E.: Interval Analysis. Prentice Hall, Englewood Cliffs (1966)MATH

16.

Moore, R.E.: Methods and Applications of Interval Analysis. SIAM Studies in Applied Mathematics, Philadelphia (1979)CrossRef

17.

Moore, R.E., Kearfott, R.B., Cloud, M.J.: Introduction to Interval Analysis. SIAM, Philadelphia (2009)CrossRef

18.

Nadezhin, D.Y., Zhilin, S.I.: Jinterval library: principles, development, and perspectives. Reliable Comput. 19(3), 229–247 (2014)MathSciNet

19.

Nehmeier, M.: libieeep1788: A C++ Implementation of the IEEE interval standard P1788. In: Norbert Wiener in the 21st Century, pp. 1–6, IEEE, Australia (2014)

20.

Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press, Cambridge (1990)MATH

21.

Pryce, J.: The forthcoming IEEE standard 1788 for interval arithmetic. In: Nehmeier, M., Wolff von Gudenberg, J., Tucker, W. (eds.) SCAN 2015. LNCS, vol. 9553, pp. 23–39. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-31769-4_3CrossRef

22.

Ratz, D.: Inclusion Isotone Extended Interval Arithmetic. Report 5 (96 pages). Institut für Angewandte Mathematik, Universität Karlsruhe (1996)

23.

Revol, N., Denneulin, Y., Méhaut, J.-F., Planquelle, B.: Parallelization of continuous verified global optimization. In: 19th IFIP TC7 Conference on System Modelling and Optimization, Cambridge, United Kingdom (1999)

24.

Revol, N., Rouillier, F.: Motivations for an arbitrary precision interval arithmetic and the MPFI library. Reliable Comput. 11(4), 275–290 (2005)MathSciNetCrossRef

25.

Revol, N.: Introduction to the IEEE 1788-2015 standard for interval arithmetic. In: Abate, A., Boldo, S. (eds.) NSV 2017. LNCS, vol. 10381, pp. 14–21. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-63501-9_2CrossRef

26.

Rump, S.M.: Verification methods: rigorous results using floating-point arithmetic. Acta Numerica 19, 287–449 (2010)MathSciNetCrossRef

27.

Sunaga, T.: Geometry of Numerals. Master thesis, U. Tokyo, Japan (1956)

28.

Théveny, P.: Numerical Quality and High Performance In Interval Linear Algebra on Multi-Core Processors. PhD thesis, ENS Lyon, France (2014)

29.

Tucker, W.: Validated Numerics - A Short Introduction to Rigorous Computations. Princeton University Press, Princeton (2011)CrossRef

Titel: The MPFI Library: Towards IEEE 1788–2015 Compliance
verfasst von: Nathalie Revol
Verlag: Springer International Publishing
Buch: Parallel Processing and Applied Mathematics
Print ISBN: 978-3-030-43221-8

Electronic ISBN: 978-3-030-43222-5

Copyright-Jahr: 2020
DOI: https://doi.org/10.1007/978-3-030-43222-5_31

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"