Publication date
January 2012
DOI Publisher
Elsevier BV ISSN
0747-7171 Citation count (estimate)
3Abstract
This article presents a finite precision (floating point) arithmetic with heuristic guarantees of correctnes
This article presents a finite precision (floating point) arithmetic with heuristic guarantees of correctnes
Abstract—For many scientific calculations, particularly those involving empirical data, IEEE 32-bit ...
This handbook is a definitive guide to the effective use of modern floating-point arithmetic, which ...
International audienceAlthough double precision is usually enough, arbitrary precision increases acc...
AbstractWe present a heuristically certified form of floating-point arithmetic and its implementatio...
A quad-double number is an unevaluated sum of four IEEE double precision numbers, ca-pable of repres...
International audienceThe most well-known feature of floating-point arithmetic is the limited precis...
A quad-double number is an unevaluated sum of four IEEE double precision numbers, capable of represe...
Floating-point numbers have an intuitive meaning when it comes to physics-based numerical computatio...
Abstract. Most mathematical formulae are defined in terms of operations on real numbers, but compute...
Exact computer arithmetic has a variety of uses including, but not limited to, the robust implementa...
We study the multiple-precision addition of two positive floating-point numbers in base 2, with exac...
International audienceThis handbook is a definitive guide to the effective use of modern floating-po...
Double precision floating-point arithmetic is inadequate for many scientific computations. This pape...
We describe using the calculation of harmonic sums to introduce and integrate the discussion and exp...
(eng) Studying floating point arithmetic, authors have shown that the implemented operations (additi...
Abstract—For many scientific calculations, particularly those involving empirical data, IEEE 32-bit ...
This handbook is a definitive guide to the effective use of modern floating-point arithmetic, which ...
International audienceAlthough double precision is usually enough, arbitrary precision increases acc...
AbstractWe present a heuristically certified form of floating-point arithmetic and its implementatio...
A quad-double number is an unevaluated sum of four IEEE double precision numbers, ca-pable of repres...
International audienceThe most well-known feature of floating-point arithmetic is the limited precis...
A quad-double number is an unevaluated sum of four IEEE double precision numbers, capable of represe...
Floating-point numbers have an intuitive meaning when it comes to physics-based numerical computatio...
Abstract. Most mathematical formulae are defined in terms of operations on real numbers, but compute...
Exact computer arithmetic has a variety of uses including, but not limited to, the robust implementa...
We study the multiple-precision addition of two positive floating-point numbers in base 2, with exac...
International audienceThis handbook is a definitive guide to the effective use of modern floating-po...
Double precision floating-point arithmetic is inadequate for many scientific computations. This pape...
We describe using the calculation of harmonic sums to introduce and integrate the discussion and exp...
(eng) Studying floating point arithmetic, authors have shown that the implemented operations (additi...
Abstract—For many scientific calculations, particularly those involving empirical data, IEEE 32-bit ...
This handbook is a definitive guide to the effective use of modern floating-point arithmetic, which ...
International audienceAlthough double precision is usually enough, arbitrary precision increases acc...
Add to ORKG