✦ LIBER ✦

Floating-point arithmetic in the Coq system

✍ Scribed by Guillaume Melquiond

Book ID: 113642005
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 216 KB
Volume: 216
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2011.09.005

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Quantization errors in floating-point ar

Quantization errors in floating-point arithmetic

✍ Sripad, A.; Snyder, D. 📂 Article 📅 1978 🏛 IEEE ⚖ 671 KB

4991130 Normalization control system for

4991130 Normalization control system for floating point arithmetic operation

✍ Shingo Kojima 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 72 KB

On the representation of zero in floatin

On the representation of zero in floating-point arithmetic

✍ Christian Gram 📂 Article 📅 1964 🏛 Springer Netherlands 🌐 English ⚖ 345 KB

Computing convex hull in a floating poin

Computing convex hull in a floating point arithmetic

✍ Jerzy W. Jaromczyk; G.W. Wasilkowski 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 607 KB

Accurate simple zeros of polynomials in

Accurate simple zeros of polynomials in floating point arithmetic

✍ Stef Graillat 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 330 KB

In the paper, we examine the local behavior of Newton's method in floating point arithmetic for the computation of a simple zero of a polynomial assuming that an good initial approximation is available. We allow an extended precision (twice the working precision) in the computation of the residual.

On roundoff error distributions in float

On roundoff error distributions in floating point and logarithmic arithmetic

✍ J. L. Barlow; E. H. Bareiss 📂 Article 📅 1985 🏛 Springer Vienna 🌐 English ⚖ 895 KB