Narrow your search

Library

KU Leuven (2)

LUCA School of Arts (2)

Odisee (2)

Thomas More Kempen (2)

Thomas More Mechelen (2)

UCLL (2)

VIVES (2)

VUB (2)

UGent (1)

ULB (1)

More...

Resource type

book (2)


Language

English (2)


Year
From To Submit

2013 (1)

1993 (1)

Listing 1 - 2 of 2
Sort by

Book
Computer Arithmetic and Validity
Author:
ISSN: 01790986 ISBN: 3110301792 9783110301793 9783110301731 3110301733 Year: 2013 Volume: 33 Publisher: Berlin Boston

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Scientific computing with automatic result verification
Authors: ---
ISBN: 0120442108 9780120442102 9780080958750 0080958753 1282290169 9781282290167 9786612290169 Year: 1993 Publisher: Boston Academic Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

Scientific computing with automatic result verification

Listing 1 - 2 of 2
Sort by