Foundations of Exact Rounding

DOI10.1007/978-3-642-00202-1_2MaRDI QIDQ3605482zbMATHOpenAlexFDO

Authors Jihun Yu, Chee K. Yap

Publication date 24 February 2009

Published in WALCOM: Algorithms and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00202-1_2

Mathematics Subject Classification ID

Roundoff error (65G50)

Recommendations

• Publication:4885353
• Correct rounding of algebraic functions
• scientific article; zbMATH DE number 804654
• On the definition of unit roundoff
• Proposal for a standardization of mathematical function implementation in floating-point arith\-metic

Cites work

• scientific article; zbMATH DE number 52121 (Why is no real title available?)
• scientific article; zbMATH DE number 1109070 (Why is no real title available?)
• scientific article; zbMATH DE number 1446863 (Why is no real title available?)
• scientific article; zbMATH DE number 2247480 (Why is no real title available?)
• Algorithms – ESA 2005
• An accurate elementary mathematical library for the IEEE floating point standard
• Fast Multiple-Precision Evaluation of Elementary Functions
• Fast evaluation of elementary mathematical functions with correctly rounded last bit
• How to recognize zero?
• Hypergeometric functions in exact geometric computation
• Interval arithmetic yields efficient dynamic filters for computational geometry
• MPFR
• Proposal for a standardization of mathematical function implementation in floating-point arith\-metic
• Recent progress in exact geometric computation
• Theory of Real Computation According to EGC
• Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format

Cited in

(10)

• Innocuous Double Rounding of Basic Arithmetic Operations
• scientific article; zbMATH DE number 903740 (Why is no real title available?)
• scientific article; zbMATH DE number 4039133 (Why is no real title available?)
• scientific article; zbMATH DE number 4039134 (Why is no real title available?)
• In Praise of Numerical Computation
• Correctly Rounded Multiplication by Arbitrary Precision Constants
• Bounds on the objective value of feasible roundings
• Correct rounding of algebraic functions
• Adaptive isotopic approximation of nonsingular curves: The parameterizability and nonlocal isotopy approach
• Proofs of conjectures on machine arithmetic lying at the base of localizing computations

Describes a project that uses

Uses Software

• MPFR
• SLEEF

This page was built for publication: Foundations of Exact Rounding

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