Introduction

Chapters in this book

1. Frontmatter i
2. Contents vii
3. Introduction 1
4. I Theory of Computer Arithmetic
5. Chapter 1 First Concepts 12
6. Chapter 2 Ringoids and Vectoids 42
7. Chapter 3 Definition of Computer Arithmetic 60
8. Chapter 4 Interval Arithmetic 84
9. II Implementation of Arithmetic on Computers
10. Chapter 5 Floating-Point Arithmetic 154
11. Chapter 6 Implementation of Floating-Point Arithmetic on a Computer 187
12. Chapter 7 Hardware Support for Interval Arithmetic 233
13. Chapter 8 Scalar Products and Complete Arithmetic 245
14. III Principles of Verified Computing
15. Chapter 9 Sample Applications 302
16. Backmatter 356