Computer Arithmetic and Validity : : Theory, Implementation, and Applications / / Ulrich Kulisch.
This is the revised and extended second edition of the successful basic book on computer arithmetic. It is consistent with the newest recent standard developments in the field. The book shows how the arithmetic and mathematical capability of the digital computer can be enhanced in a quite natural wa...
Saved in:
| Superior document: | Title is part of eBook package: De Gruyter DG Studies in Mathematics eBook-Package |
|---|---|
| VerfasserIn: | |
| Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2013] ©2012 |
| Year of Publication: | 2013 |
| Language: | English |
| Series: | De Gruyter Studies in Mathematics ,
33 |
| Online Access: | |
| Physical Description: | 1 online resource (434 p.) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- Frontmatter
- Foreword to the second edition
- Preface
- Contents
- Introduction
- Part I. Theory of computer arithmetic
- Chapter 1. First concepts
- Chapter 2. Ringoids and vectoids
- Chapter 3. Definition of computer arithmetic
- Chapter 4. Interval arithmetic
- Part II. Implementation of arithmetic on computers
- Chapter 5. Floating-point arithmetic
- Chapter 6. Implementation of floating-point arithmetic on a computer
- Chapter 7. Hardware support for interval arithmetic
- Chapter 8. Scalar products and complete arithmetic
- Part III. Principles of verified computing
- Chapter 9. Sample applications
- Appendix A. Frequently used symbols
- Appendix B. On homomorphism
- Bibliography
- List of figures
- List of tables
- Index