Abstract
Floating-point numbers do not map exactly to the real numbers. Also, sometimes there are uncertainties in our knowledge of the true value for a quantity. Both of these situations can be addressed by using interval arithmetic which keeps bounds on the possible value of a number while a calculation is in progress. In this chapter we will describe interval arithmetic, implement basic operations for interval arithmetic in C, discuss functions as they pertain to intervals, examine interval implementation for C and Python, and finally offer some advice on when to use interval arithmetic.
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
References
Bevington, PR., Robinson, DK. Data reduction and error analysis for the physical sciences. Vol. 336. McGraw-Hill (1969).
Young, RC., The algebra of multi-valued quantities, Mathematische Annalen, 1931, Vol. 104, pp. 260–290.
Dwyer, PS., Linear Computations, J. Wiley, N.Y., 1951.
Sunaga, T., Theory of interval algebra and its application to numerical analysis, In: Research Association of Applied Geometry (RAAG) Memoirs, Ggujutsu Bunken Fukuy-kai. Tokyo, Japan, 1958, Vol. 2, pp. 29–46 (547–564); reprinted in Japan Journal on Industrial and Applied Mathematics, 2009, Vol. 26, No. 2–3, pp. 126–143.
Moore, RE. Automatic error analysis in digital computation. Technical Report Space Div. Report LMSD84821, Lockheed Missiles and Space Co., 1959.
Hickey, T., Ju, Q. and van Emden, MH., Interval Arithmetic: From principles to implementation. Journal of the ACM (JACM) 48.5 (2001): 1038–1068.
Bohlender, G., Kulisch, U., Definition of the Arithmetic Operations and Comparison Relations for an Interval Arithmetic Standard. Reliable Computing 15 (2011): 37.
Barreto, R., Controlling FPU rounding modes with Python, http://rafaelbarreto.wordpress.com/2009/03/30/controlling-fpu-rounding-modes-with-python/ (accessed 07-Nov-2014).
Daumas, M., Lester, D., Muoz, C. Verified real number calculations: A library for interval arithmetic. Computers, IEEE Transactions on 58.2 (2009): 226–237.
Revol, N., Rouillier, F., Multiple Precision Floating-point Interval Library. http://perso.ens-lyon.fr/nathalie.revol/software.html (retrieved 15-Nov-2014) (2002).
Johansson, F. et al. mpmath: a Python library for arbitrary-precision floating-point arithmetic (version 0.14), February 2010. http://code.google.com/p/mpmath (accessed 16-Nov-2014).
Kearfott, R. An overview of the upcoming IEEE P-1788 working group document: Standard for interval arithmetic. IFSA/NAFIPS. 2013.
Kearfott, R. Interval computations: Introduction, uses, and resources. Euromath Bulletin 2.1 (1996): 95–112.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Kneusel, R.T. (2015). Interval Arithmetic. In: Numbers and Computers. Springer, Cham. https://doi.org/10.1007/978-3-319-17260-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-17260-6_7
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-17259-0
Online ISBN: 978-3-319-17260-6
eBook Packages: Computer ScienceComputer Science (R0)