Computer arithmetic and validity. Theory, implementation, and applications

DOI10.1515/9783110301793zbMath1277.65028OpenAlexW3152567310MaRDI QIDQ5917924

Ulrich Kulisch

Publication date: 22 April 2013

Published in: De Gruyter Studies in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/9783110301793

zbMATH Keywords

textbookinterval arithmeticscientific computingroundingcomputer arithmeticaccuracy of numerical computationcomputational spaces

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Numerical computation of solutions to systems of equations (65H10) Interval and finite arithmetic (65G30) Iterative numerical methods for linear systems (65F10) Roundoff error (65G50) General methods in interval analysis (65G40) Numerical differentiation (65D25) Algorithms with automatic result verification (65G20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to numerical analysis (65-01)

Related Items (1)

Floating-point arithmetic

This page was built for publication: Computer arithmetic and validity. Theory, implementation, and applications