Computer arithmetic and validity. Theory, implementation, and applications

DOI10.1515/9783110203196MaRDI QIDQ5900089zbMATH OpenOpenAlexFDO

Authors 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

computer arithmeticfloating-point arithmeticinterval arithmeticinterval Newton methodringoidsemimorphismtextbookvalidityvectoidverified computing

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) Numerical differentiation (65D25) Iterative numerical methods for linear systems (65F10) Algorithms with automatic result verification (65G20) Interval and finite arithmetic (65G30) General methods in interval analysis (65G40) Roundoff error (65G50) Numerical computation of solutions to systems of equations (65H10)

Recommendations

• Computer arithmetic and validity. Theory, implementation, and applications
• scientific article; zbMATH DE number 761488
• Validated numerics. A short introduction to rigorous computations.
• scientific article; zbMATH DE number 48134
• Advanced Arithmetic for the Digital Computer

Cited in

(28)

• An effective method for division of rectangular intervals
• Numerical computing with IEEE floating point arithmetic. Incl. one theorem, one rule of thumb, and one hundred and one exercises
• Multi-step root solvers of Traub's type in real interval arithmetic
• scientific article; zbMATH DE number 434859 (Why is no real title available?)
• scientific article; zbMATH DE number 434860 (Why is no real title available?)
• Dynamics of number systems. Computation with arbitrary precision
• scientific article; zbMATH DE number 3858303 (Why is no real title available?)
• scientific article; zbMATH DE number 3938452 (Why is no real title available?)
• scientific article; zbMATH DE number 3945256 (Why is no real title available?)
• scientific article; zbMATH DE number 3963094 (Why is no real title available?)
• scientific article; zbMATH DE number 48694 (Why is no real title available?)
• scientific article; zbMATH DE number 48134 (Why is no real title available?)
• Multiple/arbitrary precision interval computations in C-XSC
• Specification of hardware for interval arithmetic
• scientific article; zbMATH DE number 4123169 (Why is no real title available?)
• scientific article; zbMATH DE number 1497755 (Why is no real title available?)
• scientific article; zbMATH DE number 1542842 (Why is no real title available?)
• Interval Ostrowski-type methods with guaranteed convergence
• Advanced Arithmetic for the Digital Computer
• The end of error: Unum computing
• On the new fourth-order methods for the simultaneous approximation of polynomial zeros
• scientific article; zbMATH DE number 4182703 (Why is no real title available?)
• scientific article; zbMATH DE number 4182788 (Why is no real title available?)
• Computer arithmetic and validity. Theory, implementation, and applications
• 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

Describes a project that uses

Uses Software

• PROFIL/BIAS

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5900089)