<--- Back to Details
First PageDocument Content
Unit in the last place / Floating point / Computing / Rounding / Division / Expected value / Exponentiation / Machine epsilon / Computer arithmetic / Mathematics / Numbers
Date: 2005-12-13 12:11:20
Unit in the last place
Floating point
Computing
Rounding
Division
Expected value
Exponentiation
Machine epsilon
Computer arithmetic
Mathematics
Numbers

Add to Reading List

Source URL: ljk.imag.fr

Download Document from Source Website

File Size: 260,38 KB

Share Document on Facebook

Similar Documents

Computer arithmetic / Floating point / IEEE floating point / Double-precision floating-point format / Division algorithm / Rounding / Q / Precision / Arithmetic underflow / Decimal / Hexadecimal / Unit in the last place

AT&T Bell Laboratories Numerical Analysis ManuscriptCorrectly Rounded Binary-Decimal and Decimal-Binary Conversions

DocID: 1oJV1 - View Document

Computer arithmetic / Arithmetic / Mathematics / Computing / Rounding / IEEE floating point / GNU MPFR / Arbitrary-precision arithmetic / Division algorithm / Unit in the last place / Pi / Double-precision floating-point format

Floating-point arithmetic in the Coq system a,1 Guillaume Melquiond a INRIA Saclay  Île-de-France,

DocID: 1o0ql - View Document

Computer arithmetic / Mathematics / Computing / Theoretical computer science / Unit in the last place / Rounding / IEEE floating point / NaN / Double-precision floating-point format / Q / Denormal number / Exponentiation

Rounding Errors in Complex Floating-Point Multiplication Colin Percival IRMACS, Simon Fraser University

DocID: 1lXui - View Document

Mathematics / Rounding / Floating point / Unit in the last place / Methods of computing square roots / Division / Multiply–accumulate operation / Computer arithmetic / Arithmetic / Numbers

Some Functions Computable with a Fused-mac Sylvie Boldo and Jean-Michel Muller Laboratoire LIP (CNRS/ENS Lyon/Inria/Univ. lyon 1), Projet Ar´enaire, 46 all´ee d’Italie, 69364 Lyon Cedex 07, F RANCE Sylvie.Boldo@ens-l

DocID: 19Hz4 - View Document

Rounding / Floating point / MPFR / Mathematics / Computing / Computer arithmetic / Unit in the last place / Numbers

THE MPFR LIBRARY: ALGORITHMS AND PROOFS THE MPFR TEAM Contents 1. Notations and Assumptions 2. Error calculus

DocID: 18teE - View Document