Kapitel
Öffentlich zugänglich
Contents
Kapitel in diesem Buch
- Frontmatter i
- Foreword to the second edition vii
- Preface ix
- Contents xix
- Introduction 1
-
Part I. Theory of computer arithmetic
- Chapter 1. First concepts 13
- Chapter 2. Ringoids and vectoids 43
- Chapter 3. Definition of computer arithmetic 62
- Chapter 4. Interval arithmetic 87
-
Part II. Implementation of arithmetic on computers
- Chapter 5. Floating-point arithmetic 157
- Chapter 6. Implementation of floating-point arithmetic on a computer 191
- Chapter 7. Hardware support for interval arithmetic 236
- Chapter 8. Scalar products and complete arithmetic 249
-
Part III. Principles of verified computing
- Chapter 9. Sample applications 307
- Appendix A. Frequently used symbols 367
- Appendix B. On homomorphism 369
- Bibliography 371
- List of figures 421
- List of tables 425
- Index 427
Kapitel in diesem Buch
- Frontmatter i
- Foreword to the second edition vii
- Preface ix
- Contents xix
- Introduction 1
-
Part I. Theory of computer arithmetic
- Chapter 1. First concepts 13
- Chapter 2. Ringoids and vectoids 43
- Chapter 3. Definition of computer arithmetic 62
- Chapter 4. Interval arithmetic 87
-
Part II. Implementation of arithmetic on computers
- Chapter 5. Floating-point arithmetic 157
- Chapter 6. Implementation of floating-point arithmetic on a computer 191
- Chapter 7. Hardware support for interval arithmetic 236
- Chapter 8. Scalar products and complete arithmetic 249
-
Part III. Principles of verified computing
- Chapter 9. Sample applications 307
- Appendix A. Frequently used symbols 367
- Appendix B. On homomorphism 369
- Bibliography 371
- List of figures 421
- List of tables 425
- Index 427