Computer Arithmetic and Validity: Theory, Implementation, and Applications

Ulrich Kulisch

Published by De Gruyter 2008

Computer Arithmetic and Validity

Theory, Implementation, and Applications

Ulrich Kulisch

Volume 33 in the series De Gruyter Studies in Mathematics

https://doi.org/10.1515/9783110203196

Overview
Contents

About this book

The present book deals with the theory of computer arithmetic, its implementation on digital computers and applications in applied mathematics to compute highly accurate and mathematically verified results. The aim is to improve the accuracy of numerical computing (by implementing advanced computer arithmetic) and to control the quality of the computed results (validity). The book can be useful as high-level undergraduate textbook but also as reference work for scientists researching computer arithmetic and applied mathematics.

Author / Editor information

Ulrich Kulisch, University Karlsruhe.

Reviews

"The book can be used as a high-level undergraduate textbook but also as a reference work for research in computer arithmetic and applied mathematics."
In: Ems Newsletter 3/2009

Topics

Frontmatter Requires Authentication Unlicensed Licensed Download PDF	i
Contents Requires Authentication Unlicensed Licensed Download PDF	vii
Introduction Requires Authentication Unlicensed Licensed Download PDF	1
I Theory of Computer Arithmetic
Chapter 1 First Concepts Requires Authentication Unlicensed Licensed Download PDF	12
Chapter 2 Ringoids and Vectoids Requires Authentication Unlicensed Licensed Download PDF	42
Chapter 3 Definition of Computer Arithmetic Requires Authentication Unlicensed Licensed Download PDF	60
Chapter 4 Interval Arithmetic Requires Authentication Unlicensed Licensed Download PDF	84
II Implementation of Arithmetic on Computers
Chapter 5 Floating-Point Arithmetic Requires Authentication Unlicensed Licensed Download PDF	154
Chapter 6 Implementation of Floating-Point Arithmetic on a Computer Requires Authentication Unlicensed Licensed Download PDF	187
Chapter 7 Hardware Support for Interval Arithmetic Requires Authentication Unlicensed Licensed Download PDF	233
Chapter 8 Scalar Products and Complete Arithmetic Requires Authentication Unlicensed Licensed Download PDF	245
III Principles of Verified Computing
Chapter 9 Sample Applications Requires Authentication Unlicensed Licensed Download PDF	302
Backmatter Requires Authentication Unlicensed Licensed Download PDF	356

(Deutsch)

Language: English
Publisher: De Gruyter
Audience: Students of Mathematics and Computer Sciences, Researchers; Academic Libraries.
Pages
- Front matter: 17
- Main content: 409
Keywords: Computer Arithmetic; Interval Arithmetic; Floating Point Arithmetic; Verified Computing

eBook

Published: August 27, 2008
ISBN: 9783110203196