|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910452844603321 |
|
|
Autore |
Kulisch Ulrich |
|
|
Titolo |
Computer arithmetic and validity [[electronic resource] ] : theory, implementation, and applications / / Ulrich Kulisch |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, : De Gruyter, 2013 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[2nd ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (434 p.) |
|
|
|
|
|
|
Collana |
|
De Gruyter Studies in Mathematics ; ; 33 |
De Gruyter studies in mathematics, , 0179-0986 ; ; 33 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer arithmetic |
Computer arithmetic and logic units |
Floating-point arithmetic |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
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 |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
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 way. The work is motivated by the desire and the need to improve the accuracy of numerical computing and to control the quality of the computed results (validity). The accuracy requirements |
|
|
|
|