Theory of computer arithmetic -- First concepts -- Ringoids and vectoids -- Definition of computer arithmetic -- Interval arithmetic -- Implementation of arithmetic on computers -- Floating-point arithmetic -- Implementation of floating-point arithmetic on a computer -- Hardware support for interval arithmetic -- Scalar products and complete arithmetic -- Principles of verified computing -- Sample applications
Summary
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
Analysis
Computer Arithmetic
Floating Point Arithmetic
Interval Arithmetic
Verified Computing
Bibliography
Includes bibliographical references (pages 359-394) and index