Contents

Kapitel in diesem Buch

1. Frontmatter i
2. Foreword to the second edition vii
3. Preface ix
4. Contents xix
5. Introduction 1
6. Part I. Theory of computer arithmetic
7. Chapter 1. First concepts 13
8. Chapter 2. Ringoids and vectoids 43
9. Chapter 3. Definition of computer arithmetic 62
10. Chapter 4. Interval arithmetic 87
11. Part II. Implementation of arithmetic on computers
12. Chapter 5. Floating-point arithmetic 157
13. Chapter 6. Implementation of floating-point arithmetic on a computer 191
14. Chapter 7. Hardware support for interval arithmetic 236
15. Chapter 8. Scalar products and complete arithmetic 249
16. Part III. Principles of verified computing
17. Chapter 9. Sample applications 307
18. Appendix A. Frequently used symbols 367
19. Appendix B. On homomorphism 369
20. Bibliography 371
21. List of figures 421
22. List of tables 425
23. Index 427