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!
|
LEADER | 05948nam a22009495i 4500 | ||
---|---|---|---|
001 | 9783110301793 | ||
003 | DE-B1597 | ||
005 | 20230228123812.0 | ||
006 | m|||||o||d|||||||| | ||
007 | cr || |||||||| | ||
008 | 230228t20132012gw fo d z eng d | ||
019 | |a (OCoLC)990725657 | ||
020 | |a 9783110301793 | ||
024 | 7 | |a 10.1515/9783110301793 |2 doi | |
035 | |a (DE-B1597)179444 | ||
035 | |a (OCoLC)953308478 | ||
040 | |a DE-B1597 |b eng |c DE-B1597 |e rda | ||
041 | 0 | |a eng | |
044 | |a gw |c DE | ||
050 | 4 | |a QA76.9.C62 |b K85 2013eb | |
072 | 7 | |a MAT022000 |2 bisacsh | |
082 | 0 | 4 | |a 004.0151 |2 23 |
084 | |a SK 900 |2 rvk |0 (DE-625)rvk/143268: | ||
100 | 1 | |a Kulisch, Ulrich, |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
245 | 1 | 0 | |a Computer Arithmetic and Validity : |b Theory, Implementation, and Applications / |c Ulrich Kulisch. |
264 | 1 | |a Berlin ; |a Boston : |b De Gruyter, |c [2013] | |
264 | 4 | |c ©2012 | |
300 | |a 1 online resource (434 p.) | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
347 | |a text file |b PDF |2 rda | ||
490 | 0 | |a De Gruyter Studies in Mathematics , |x 0179-0986 ; |v 33 | |
505 | 0 | 0 | |t Frontmatter -- |t Foreword to the second edition -- |t Preface -- |t Contents -- |t Introduction -- |t Part I. Theory of computer arithmetic -- |t Chapter 1. First concepts -- |t Chapter 2. Ringoids and vectoids -- |t Chapter 3. Definition of computer arithmetic -- |t Chapter 4. Interval arithmetic -- |t Part II. Implementation of arithmetic on computers -- |t Chapter 5. Floating-point arithmetic -- |t Chapter 6. Implementation of floating-point arithmetic on a computer -- |t Chapter 7. Hardware support for interval arithmetic -- |t Chapter 8. Scalar products and complete arithmetic -- |t Part III. Principles of verified computing -- |t Chapter 9. Sample applications -- |t Appendix A. Frequently used symbols -- |t Appendix B. On homomorphism -- |t Bibliography -- |t List of figures -- |t List of tables -- |t Index |
506 | 0 | |a restricted access |u http://purl.org/coar/access_right/c_16ec |f online access with authorization |2 star | |
520 | |a 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 for the elementary floating-point operations are extended to the customary product spaces of computations including interval spaces. The mathematical properties of these models are extracted into an axiomatic approach which leads to a general theory of computer arithmetic. Detailed methods and circuits for the implementation of this advanced computer arithmetic on digital computers are developed in part two of the book. Part three then illustrates by a number of sample applications how this extended computer arithmetic can be used to compute highly accurate and mathematically verified results. The book can be used as a high-level undergraduate textbook but also as reference work for research in computer arithmetic and applied mathematics. | ||
530 | |a Issued also in print. | ||
538 | |a Mode of access: Internet via World Wide Web. | ||
546 | |a In English. | ||
588 | 0 | |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023) | |
650 | 0 | |a Computer arithmetic and logic units. | |
650 | 0 | |a Computer arithmetic. | |
650 | 0 | |a Floating-point arithmetic |x Electronic books. | |
650 | 0 | |a Floating-point arithmetic. | |
650 | 4 | |a Computer Arithmetic. | |
650 | 4 | |a Interval calculation. | |
650 | 4 | |a Numerical Analysis. | |
650 | 7 | |a MATHEMATICS / Number Theory. |2 bisacsh | |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t DG Studies in Mathematics eBook-Package |z 9783110494938 |o ZDB-23-GSM |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t DGBA Backlist Complete English Language 2000-2014 PART1 |z 9783110238570 |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t DGBA Backlist Mathematics 2000-2014 (EN) |z 9783110238471 |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t DGBA Mathematics - 2000 - 2014 |z 9783110637205 |o ZDB-23-GMA |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t E-BOOK GESAMTPAKET / COMPLETE PACKAGE 2013 |z 9783110317350 |o ZDB-23-DGG |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t E-BOOK PACKAGE MATHEMATICS, PHYSICS, ENGINEERING 2013 |z 9783110317282 |o ZDB-23-DMI |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t E-BOOK PAKET MATHEMATIK, PHYSIK, INGENIEURWISS. 2013 |z 9783110317275 |o ZDB-23-DMP |
776 | 0 | |c print |z 9783110301731 | |
856 | 4 | 0 | |u https://doi.org/10.1515/9783110301793 |
856 | 4 | 0 | |u https://www.degruyter.com/isbn/9783110301793 |
856 | 4 | 2 | |3 Cover |u https://www.degruyter.com/document/cover/isbn/9783110301793/original |
912 | |a 978-3-11-023847-1 DGBA Backlist Mathematics 2000-2014 (EN) |c 2000 |d 2014 | ||
912 | |a 978-3-11-023857-0 DGBA Backlist Complete English Language 2000-2014 PART1 |c 2000 |d 2014 | ||
912 | |a EBA_BACKALL | ||
912 | |a EBA_CL_CHCOMSGSEN | ||
912 | |a EBA_CL_MTPY | ||
912 | |a EBA_DGALL | ||
912 | |a EBA_EBACKALL | ||
912 | |a EBA_EBKALL | ||
912 | |a EBA_ECL_CHCOMSGSEN | ||
912 | |a EBA_ECL_MTPY | ||
912 | |a EBA_EEBKALL | ||
912 | |a EBA_ESTMALL | ||
912 | |a EBA_STMALL | ||
912 | |a GBV-deGruyter-alles | ||
912 | |a PDA12STME | ||
912 | |a PDA13ENGE | ||
912 | |a PDA18STMEE | ||
912 | |a PDA5EBK | ||
912 | |a ZDB-23-DGG |b 2013 | ||
912 | |a ZDB-23-DMI |b 2013 | ||
912 | |a ZDB-23-DMP |b 2013 | ||
912 | |a ZDB-23-GMA |c 2000 |d 2014 | ||
912 | |a ZDB-23-GSM |