This publication follows the "Reliable Implementation of Real Number Algorithms: Theory and Practice" international seminar, Dagstuhl, Germany, January 8-13, 2006.International audienceWe show how one can search for the worst cases for correct rounding of the exponential function in the IEEE 754r 64-bit decimal format, and give such bad cases that have been found so far. This work can be extended to other elementary functions in the decimal64 format, and allows the design of reasonably fast routines that will evaluate these functions with correct rounding, at least in some domains
International audienceOne considers the problem of finding hard to round cases of a periodic functio...
This is the extended version of an article published in the proceedings of ARITH 2023.We design algo...
This is the extended version of an article published in the proceedings of ARITH 2023.We design algo...
This publication follows the "Reliable Implementation of Real Number Algorithms: Theory and Practice...
We searched for the worst cases for correct rounding of the exponential function in the IEEE 754r de...
We searched for the worst cases for correct rounding of the exponential function in the IEEE 754r de...
We searched for the worst cases for correct rounding of the exponential function in the IEEE 754r de...
Abstract. We searched for the worst cases for correct rounding of the exponential function in the IE...
We give here the results of a four-year search for the worst cases for correct rounding of the major...
We give here the results of a four-year search for the worst cases for correct rounding of the major...
International audienceThe 2008 revision of the IEEE-754 standard, which governs floating-point arith...
Colloque avec actes et comité de lecture. internationale.International audienceWe give the results o...
(eng) We give here the results of a four-year search for the worst cases for correct rounding of the...
Colloque avec actes et comité de lecture. internationale.International audienceWe give the results o...
Colloque avec actes et comité de lecture. internationale.International audienceWe give the results o...
International audienceOne considers the problem of finding hard to round cases of a periodic functio...
This is the extended version of an article published in the proceedings of ARITH 2023.We design algo...
This is the extended version of an article published in the proceedings of ARITH 2023.We design algo...
This publication follows the "Reliable Implementation of Real Number Algorithms: Theory and Practice...
We searched for the worst cases for correct rounding of the exponential function in the IEEE 754r de...
We searched for the worst cases for correct rounding of the exponential function in the IEEE 754r de...
We searched for the worst cases for correct rounding of the exponential function in the IEEE 754r de...
Abstract. We searched for the worst cases for correct rounding of the exponential function in the IE...
We give here the results of a four-year search for the worst cases for correct rounding of the major...
We give here the results of a four-year search for the worst cases for correct rounding of the major...
International audienceThe 2008 revision of the IEEE-754 standard, which governs floating-point arith...
Colloque avec actes et comité de lecture. internationale.International audienceWe give the results o...
(eng) We give here the results of a four-year search for the worst cases for correct rounding of the...
Colloque avec actes et comité de lecture. internationale.International audienceWe give the results o...
Colloque avec actes et comité de lecture. internationale.International audienceWe give the results o...
International audienceOne considers the problem of finding hard to round cases of a periodic functio...
This is the extended version of an article published in the proceedings of ARITH 2023.We design algo...
This is the extended version of an article published in the proceedings of ARITH 2023.We design algo...