Kulisch / Miranker / Rheinboldt Computer Arithmetic in Theory and Practice

1. Auflage 2014
ISBN: 978-1-4832-6473-8
Verlag: Elsevier Science & Techn.
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 268 Seiten, Web PDF

Computer Arithmetic in Theory and Practice deals with computer arithmetic and the various implementations of the entire arithmetic package on diverse processors, including microprocessors. It illustrates the importance of theoretical development in the sound implementation of arithmetic on computers, and argues that such an implementation requires the establishment of various isomorphisms between different definitions of arithmetic operations. Comprised of seven chapters, this volume begins with an introduction to the theory of computer arithmetic by giving an axiomatic characterization of the essential properties of sets and subsets; complete lattices and complete subnets; screens and roundings; and arithmetic operations. The discussion then turns to the concepts of a ringoid and a vectoid as well as those of ordered or weakly ordered ringoids and vectoids; interval arithmetic; and floating-point arithmetic. The operations in interval spaces are defined by means of semimorphisms. The final chapter shows how to embed the five basic data types (integer, real, complex, real interval, and complex interval) together with the arithmetic operations that are defined for all of these types into existing higher programming languages. This book will be helpful to students and practitioners in the fields of computer science and applied mathematics.

Autoren/Hrsg.

Kulisch, Ulrich W.

Miranker, Willard L.

Rheinboldt, Werner

Inhaltsverzeichnis

1;Front Cover;1
2;Computer Arithmetic in Theory and Practice;4
3;Copyright Page;5
4;Table of Contents;8
5;Dedication;6
6;Preface;12
7;INTRODUCTION AND PRELIMINARY DEFINITION OF COMPUTER ARITHMETIC;18
8;Part 1: THEORY OF COMPUTER ARITHMETIC;28
8.1;Chapter 1. FIRST CONCEPTS;30
8.1.1;Summary;30
8.1.2;1. ORDERED SETS;30
8.1.3;2. COMPLETE LATTICES AND COMPLETE SUBNETS;35
8.1.4;3. SCREENS AND ROUNDINGS;42
8.1.5;4. ARITHMETIC OPERATIONS AND ROUNDINGS;51
8.2;Chapter 2. RINGOIDS AND VECTOIDS;58
8.2.1;Summary;58
8.2.2;1. RINGOIDS;58
8.2.3;2. VECTOIDS;69
8.2.4;3. COMPLETELY ORDERED RINGOIDS AND VECTOIDS;75
8.3;Chapter 3. DEFINITION OF COMPUTER ARITHMETIC;81
8.3.1;Summary;81
8.3.2;1. INTRODUCTION;81
8.3.3;2. PRELIMINARIES;84
8.3.4;3. THE VERTICAL DEFINITION OF COMPUTER ARITHMETIC;90
8.3.5;4. THE HORIZONTAL DEFINITION OF COMPUTER ARITHMETIC BY SEMIMORPHISMS;92
8.3.6;5. A REMARK ABOUT ROUNDINGS;100
8.4;Chapter 4. INTERVAL ARITHMETIC;101
8.4.1;Summary;101
8.4.2;1. INTERVAL SETS AND ARITHMETIC;101
8.4.3;2. INTERVAL ARITHMETIC OVER A LINEARLY ORDERED SET;113
8.4.4;3. INTERVAL MATRICES;118
8.4.5;4. INTERVAL VECTORS;122
8.4.6;5. INTERVAL ARITHMETIC ON A SCREEN;126
8.4.7;6. INTERVAL MATRICES AND INTERVAL VECTORS ON A SCREEN;134
8.4.8;7. COMPLEX INTERVAL ARITHMETIC;142
8.4.9;8. COMPLEX INTERVAL MATRICES AND VECTORS;149
9;Part 2: IMPLEMENTATION OF ARITHMETIC ON COMPUTERS;156
9.1;Chapter 5. FLOATING-POINT ARITHMETIC;158
9.1.1;Summary;158
9.1.2;1. DEFINITION AND PROPERTIES OF THE
REAL NUMBERS;159
9.1.3;2. FLOATING-POINT NUMBERS AND ROUNDINGS;166
9.1.4;3. FLOATING-POINT OPERATIONS;173
9.1.5;4. EXTENDED FLOATING-POINT ARITHMETIC;180
9.2;Chapter 6. IMPLEMENTATION OF FLOATING-POINT ARITHMETIC ON A
COMPUTER;186
9.2.1;Summary;186
9.2.2;1. THE LEVEL 1 ROUTINES;187
9.2.3;2. INTRODUCTORY REMARKS ABOUT
THE LEVEL 2 ROUTINES;189
9.2.4;3. ADDITION AND SUBTRACTION;192
9.2.5;4. NORMALIZATION;197
9.2.6;5. ROUNDING;198
9.2.7;6. MULTIPLICATION;200
9.2.8;7. DIVISION;201
9.2.9;8. ALGORITHMS USING THE SHORT ACCUMULATOR;202
9.2.10;9. UNDERFLOW AND OVERFLOW TREATMENT;207
9.2.11;10. COMPUTATION WITH MAXIMUM ACCURACY OF THE
SUM OF n FLOATING-POINT NUMBERS;209
9.2.12;11. AN ALTERNATIVE ALGORITHM FOR COMPUTING
THE SUM OF n FLOATING-POINT NUMBERS;219
9.2.13;12. THE LEVEL 3 ROUTINES;226
9.3;Chapter 7. COMPUTER ARITHMETIC AND PROGRAMMING
LANGUAGES;237
9.3.1;Summary;237
9.3.2;1. INTRODUCTION;238
9.3.3;2. GENERAL DESCRIPTION OF THE LANGUAGE EXTENSION;240
9.3.4;3. ARITHMETIC STANDARD FUNCTIONS OF THE LANGUAGE EXTENSION;242
9.3.5;4. SYNTAX OF THE LANGUAGE EXTENSION;243
9.3.6;5. SYNTAX VARIABLES USED IN THE DIAGRAMS;254
10;REFERENCES;256
11;GLOSSARY OF SYMBOLS AND FORMULAS;262
12;INDEX;264
13;Computer Science and Applied Mathematics: A Series of Monograph and
Textbooks;267