Abstract
The algorithm that computes the midpoint of an interval with floating-point bounds requires some careful devising to handle all possible inputs correctly. We review several implementations from prominent C/C++ interval arithmetic packages and analyze their potential failure to deliver the expected results. We then show how to amend them to avoid common pitfalls. The results presented are also relevant to noninterval arithmetic computation such as the implementation of bisection methods. Enough background on IEEE 754 floating-point arithmetic is provided for this article to serve as a practical introduction to the analysis of floating-point computation.
Funder
Indo-French Centre for the Promotion of Advanced Research
Publisher
Association for Computing Machinery (ACM)
Subject
Applied Mathematics,Software
Reference27 articles.
1. G. E. Alefeld and J. Herzberger. 1983. Introduction to Interval Computations. Academic Press. G. E. Alefeld and J. Herzberger. 1983. Introduction to Interval Computations. Academic Press.
2. The design of the Boost interval arithmetic library
3. G. Chabert I. Araya B. Neveu L. Jaulin G. Trombettoni and A. Baire. 2012. The IBEX constraint solver. http://www.emn.fr/z-info/ibex/. G. Chabert I. Araya B. Neveu L. Jaulin G. Trombettoni and A. Baire. 2012. The IBEX constraint solver. http://www.emn.fr/z-info/ibex/.
4. Pitfalls in Computation, or Why a Math Book isn't Enough
5. What every computer scientist should know about floating-point arithmetic
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献