## Computer Arithmetic in Theory and Practice |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Common terms and phrases

a.beS addition additive inverse algorithm b-adic expansions complete lattice completely and linearly completely and weakly complex interval complex numbers computer arithmetic conditionally complete convex hull corresponding data types defined digits of base error execution exponent EXPRESSION FIGURE floating-point numbers floating-point system following properties following theorem formulas FUNCT ID greatest element IMnR infimum integer interval vectors isomorphism least element Lemma linearly ordered ringoid linearly ordered set lower bound lower resp mantissa mapping matrices monotone rounding monotone upper screen monotone upwardly directed multiplicative vectoid neutral elements obtain operands order relation ordered division ringoid ordered set outer multiplication power set programming language Proof real numbers result screen groupoid screen ringoid screen vectoid semimorphism structure subset subtraction supremum symmetric screen Theorem 4.4 underflow upper bound upwardly directed rounding VARIABLE vector vertical method weakly ordered resp weakly ordered ringoid weakly ordered vectoid zero