Change language
English Deutsch
Change currency
€ EUR £ GBP $ USD
Licensed Unlicensed Requires Authentication Published by De Gruyter 2012

Bibliography

From the book Computer Arithmetic and Validity

https://doi.org/10.1515/9783110301793.371
From the book
Computer Arithmetic and Validity
Computer Arithmetic and Validity

Chapters in this book (20)

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
Downloaded on 30.11.2023 from https://www.degruyter.com/document/doi/10.1515/9783110301793.371/html
Scroll to top button