What every computer scientist should know about floating-point arithmetic
ACM Computing Surveys (CSUR)
The Mathematics of the Pentium Division Bug
SIAM Review
Solving Range Constraints for Binary Floating-Point Instructions
ARITH '03 Proceedings of the 16th IEEE Symposium on Computer Arithmetic (ARITH-16'03)
Worst Cases for Correct Rounding of the Elementary Functions in Double Precision
ARITH '01 Proceedings of the 15th IEEE Symposium on Computer Arithmetic
Towards the Post-Ultimate libm
ARITH '05 Proceedings of the 17th IEEE Symposium on Computer Arithmetic
Standardization and testing of implementations of mathematical functions in floating point numbers
Programming and Computing Software
Test Construction for Mathematical Functions
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Hi-index | 0.00 |
The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test development for them. Inconsistency and incompleteness of available standards in the domain is demonstrated. Correct rounding requirement is suggested to guarantee preservation of all important properties of functions and to support high level of interoperability between different mathematical libraries and software using them. Conformance test construction method is proposed based on different sources of test data: numbers satisfying specific patterns, boundaries of intervals of uniform function behavior, and points where correct rounding needs much higher precision than in average. Analysis of test results obtained on various implementations of POSIX mathematical library is also presented.