Formalization and implementation of floating-point arithmetics
- 1 December 1975
- journal article
- Published by Springer Nature in Computing
- Vol. 14 (4) , 323-348
- https://doi.org/10.1007/bf02253545
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Roundings in Floating-Point ArithmeticIEEE Transactions on Computers, 1973
- Interval bounds for square roots and cube rootsComputing, 1973
- In-and-out conversionsCommunications of the ACM, 1968
- Grundlagen einer MaschinenintervallarithmetikComputing, 1967