Computer arithmetic and validity theory, implementation, and applications - Kulisch, Ulrich (Walter de Gruyter, 2008)
Includes bibliographical references (pages 359-394) and index
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