Computer Arithmetic and Validity

Download or read book Computer Arithmetic and Validity written by Ulrich Kulisch and published by Walter de Gruyter. This book was released on 2012 with total page 434 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 capability of the computer can be enhanced. 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 and lead to a general theory of computer arithmetic. Detailed methods and circuits for the implementation of this advanced computer arithmetic are developed in the book. It illustrates how the extended 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.