Computer Arithmetic and Validity
Theory, Implementation, and Applications
Seiten
2013
De Gruyter (Verlag)
978-3-11-030173-1 (ISBN)
De Gruyter (Verlag)
978-3-11-030173-1 (ISBN)
The series is devoted to the publication of monographs and high-level textbooks in mathematics, mathematical methods and their applications. Apart from covering important areas of current interest, a major aim is to make topics of an interdisciplinary nature accessible to the non-specialist. The works in this series are addressed to advanced students and researchers in mathematics and theoretical physics. In addition, it can serve as a guide for lectures and seminars on a graduate level. The series de Gruyter Studies in Mathematics was founded ca. 30 years ago by the late Professor Heinz Bauer and Professor Peter Gabriel with the aim to establish a series of monographs and textbooks of high standard, written by scholars with an international reputation presenting current fields of research in pure and applied mathematics.While the editorial board of the Studies has changed with the years, the aspirations of the Studies are unchanged. In times of rapid growth of mathematical knowledge carefully written monographs and textbooks written by experts are needed more than ever, not least to pave the way for the next generation of mathematicians. In this sense the editorial board and the publisher of the Studies are devoted to continue the Studies as a service to the mathematical community. Please submit any book proposals to Niels Jacob.
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.
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.
Ulrich Kulisch, University Karlsruhe, Germany.
Review for the first edition:
"The book deals with the theory of computer arithmetic, the implementation of arithmetic on computers, and principles of verified computing. These items are at the same time the titles of the three main parts in which the very informative and highly interesting monograph of 400 pages is divided. [...] an important book which should be read by everyone who does not merely apply a computer uncritically as a black box, but wants to know how it, works, and is interested in how it could work better.
[Günter Mayer (Rostock) in ZenralblattMath]
| Erscheint lt. Verlag | 17.4.2013 |
|---|---|
| Reihe/Serie | De Gruyter Studies in Mathematics ; 33 |
| Zusatzinfo | 101 b/w ill., 34 b/w tbl. |
| Verlagsort | Berlin/Boston |
| Sprache | englisch |
| Maße | 170 x 240 mm |
| Gewicht | 894 g |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Arithmetik / Zahlentheorie |
| Schlagworte | Computer arithmetic • Computer-Arithmetik • Interval calculation • Numerical analysis |
| ISBN-10 | 3-11-030173-3 / 3110301733 |
| ISBN-13 | 978-3-11-030173-1 / 9783110301731 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Sieben ausgewählte Themenstellungen
Buch | Softcover (2024)
De Gruyter Oldenbourg (Verlag)
CHF 89,95
unlock your imagination with the narrative of numbers
Buch | Softcover (2024)
Advantage Media Group (Verlag)
CHF 27,90
Seltsame Mathematik - Enigmatische Zahlen - Zahlenzauber
Buch | Softcover (2024)
BoD – Books on Demand (Verlag)
CHF 27,95
