Computer arithmetic and validity. Theory, implementation, and applications

DOI10.1515/9783110203196zbMath1149.65034OpenAlexW1506162491MaRDI QIDQ5900089

Ulrich Kulisch

Publication date: 6 June 2008

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

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

zbMATH Keywords

textbookvalidityinterval arithmeticfloating-point arithmeticinterval Newton methodverified computingringoidcomputer arithmeticvectoidsemimorphism

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Interval and finite arithmetic (65G30) Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) 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)

Related Items (10)

An effective method for division of rectangular intervals ⋮ Multi-step root solvers of Traub's type in real interval arithmetic ⋮ Multiple/arbitrary precision interval computations in C-XSC ⋮ Specification of hardware for interval arithmetic ⋮ A survey of interval algorithms for solving multicriteria analysis problems ⋮ Algorithmic differentiation and hull-consistency enforcing using C++ template meta-programming ⋮ The exact dot product as basic tool for long interval arithmetic ⋮ Very fast and exact accumulation of products ⋮ Interval Ostrowski-type methods with guaranteed convergence ⋮ On the new fourth-order methods for the simultaneous approximation of polynomial zeros

Uses Software

• PROFIL/BIAS

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