Abstract
Efforts have been made to standardize interval arithmetic (IA) for over a decade. The reasons have been to enable more widespread use of the technology, to enable more widespread sharing and collaboration among researchers and developers of the technology, and to enable easier checking that computer codes have been correctly programmed. During the late 1990’s, the first author of this report led such a project to introduce an interval data type into the Fortran language. One reason for failure of that effort was the Fortran language standardization committee’s lack of familiarity with interval technology and consequent caution. Another was misunderstanding between the Fortran standardization committee’s basic tenets on standardizing interline optimization and some views expressed by members of the interval analysis community. A third was confusion over how extended IA (arithmetic dealing with division by intervals that contain zero) should be handled. This was coupled with a heavy committee load associated with other projects, such as standardizing an interface for interoperability with “C” language programs.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Kirchner, R., Kulisch, U.W.: Hardware support for interval arithmetic. Reliable Computing, 225–237 (2006)
Klatte, R., Kulisch, U., Lawo, C., Rauch, M., Wiethoff, A.: C–XSC: A C++ Class Library for Extended Scientific Computation. Springer, Berlin (1993)
Knüppel, O.: PROFIL/BIAS – A fast interval library. Computing 53(3–4), 277–287 (1994)
Knüppel, O.: PROFIL/BIAS v 2.0. Bericht 99.1, Technische Universität Hamburg-Harburg, Harburg, Germany (February 1999), http://www.ti3.tu-harburg.de/profil_e
Kulisch, U.: Computer Arithmetic and Validity — Theory, Implementation, and Applications. De Gruyter Studies in Mathematics, vol. 33. Walter de Gruyter, Berlin (2008)
Kulisch, U.: Complete Interval Arithmetic and its Implementation on the Computer. In: Cuyt, A., et al. (eds.) Numerical Validation in Current Hardware Architectures (Dagstuhl Seminar 2008). LNCS, vol. 5492, pp. 7–26. Springer, Heidelberg (2009)
Lerch, M., Tischler, G., von Gudenberg, J.W.: filib—interval library specification and reference manual. Technical Report 279, Universität Würzburg, Germany (2001), http://www.math.uni-wuppertal.de/~xsc/software/filib.html
Lerch, M., Tischler, G., von Gudenberg, J.W., Hofschuster, W., Krämer, W.: filib++, a fast interval library supporting containment computations. ACM Transactions on Mathematical Software 32(2), 299–324 (2006)
Melquiond, G., Pion, S., Brönnimann, H.: Boost interval arithmetic library (2006), http://www.boost.org/doc/libs/1_37_0/libs/numeric/interval/doc/interval.htm
Pryce, J.D., Corliss, G.F.: Interval arithmetic with containment sets. Computing 78(3), 251–276 (2006)
Rump, S.M.: INTLAB–INTerval LABoratory. In: Csendes, T. (ed.) Developments in Reliable Computing: Papers presented at the International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, SCAN 1998, in Szeged, Hungary. Reliable Computing, vol. 5(3), pp. 77–104. Kluwer Academic Publishers, Dordrecht (1999), http://www.ti3.tu-harburg.de/rump/intlab/
Sun Microsystems. Interval arithmetic in the Forte[tm] C++ compiler (2000), http://www.sun.com/forte/cplusplus/interval/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kearfott, R.B., Pryce, J., Revol, N. (2009). Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021. In: Cuyt, A., Krämer, W., Luther, W., Markstein, P. (eds) Numerical Validation in Current Hardware Architectures. Lecture Notes in Computer Science, vol 5492. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01591-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-01591-5_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01590-8
Online ISBN: 978-3-642-01591-5
eBook Packages: Computer ScienceComputer Science (R0)