International audienceWe introduce an algorithm that allows one to quickly compare a binary64 floating-point (FP) number and a decimal64 FP number, assuming the "binary encoding" of the decimal formats specified by the IEEE 754-2008 standard for FP arithmetic is used. It is a two-step algorithm: a first pass, based on the exponents only, makes it possible to quickly eliminate most cases, then when the first pass does not suffice, a more accurate second pass is required. We provide an implementation of several variants of our algorithm, and compare them
ABSTRACT- In today’s scientific changes incident and rapid growth in financial, commercial, Internet...
In this paper we show how to reduce the computation of correctly-rounded square roots of binary floa...
Regardless of the numeric base, scientific notation breaks numbers into three parts: sign, mantissa,...
International audienceWe introduce an algorithm to compare a binary floating-point (FP) number and a...
International audienceWe introduce an algorithm that allows one to quickly compare a binary64 floati...
International audienceWe present a full Coq formalisation of the correctness of some comparison algo...
International audienceWe propose several algorithms and provide some related results that make it po...
We present algorithms for accurately converting floating-point numbers to decimal representation. Th...
13 pagesConsider the problem of converting decimal scientific notation for a number into the best b...
this paper. In 1985, the Institute of Electrical and Electronic Engineers published IEEE Standard 75...
The current IEEE-754 floating point standard was adopted 23 years ago. IEEE chartered a committee to...
AbstractFloating point comparison is a fundamental arithmetic operation in DSP processor. The high d...
Floating-point numbers have an intuitive meaning when it comes to physics-based numerical computatio...
International audienceConversion between binary and decimal floating-point representations is ubiqui...
We searched for the worst cases for correct rounding of the exponential function in the IEEE 754r de...
ABSTRACT- In today’s scientific changes incident and rapid growth in financial, commercial, Internet...
In this paper we show how to reduce the computation of correctly-rounded square roots of binary floa...
Regardless of the numeric base, scientific notation breaks numbers into three parts: sign, mantissa,...
International audienceWe introduce an algorithm to compare a binary floating-point (FP) number and a...
International audienceWe introduce an algorithm that allows one to quickly compare a binary64 floati...
International audienceWe present a full Coq formalisation of the correctness of some comparison algo...
International audienceWe propose several algorithms and provide some related results that make it po...
We present algorithms for accurately converting floating-point numbers to decimal representation. Th...
13 pagesConsider the problem of converting decimal scientific notation for a number into the best b...
this paper. In 1985, the Institute of Electrical and Electronic Engineers published IEEE Standard 75...
The current IEEE-754 floating point standard was adopted 23 years ago. IEEE chartered a committee to...
AbstractFloating point comparison is a fundamental arithmetic operation in DSP processor. The high d...
Floating-point numbers have an intuitive meaning when it comes to physics-based numerical computatio...
International audienceConversion between binary and decimal floating-point representations is ubiqui...
We searched for the worst cases for correct rounding of the exponential function in the IEEE 754r de...
ABSTRACT- In today’s scientific changes incident and rapid growth in financial, commercial, Internet...
In this paper we show how to reduce the computation of correctly-rounded square roots of binary floa...
Regardless of the numeric base, scientific notation breaks numbers into three parts: sign, mantissa,...