<--- Back to Details
First PageDocument Content
Mathematics / Floating point / Single-precision floating-point format / IEEE 754-2008 / Fortran / Q / Computer / Rounding / Unit in the last place / Computer arithmetic / Computing / Numbers
Date: 2004-01-11 18:22:04
Mathematics
Floating point
Single-precision floating-point format
IEEE 754-2008
Fortran
Q
Computer
Rounding
Unit in the last place
Computer arithmetic
Computing
Numbers

Add to Reading List

Source URL: www.cs.berkeley.edu

Download Document from Source Website

File Size: 182,55 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