, IEEE Standard for Floating-Point Arithmetic, pp.754-2008, 2008.

J. Harrison, Decimal Transcendentals via Binary, 2009 19th IEEE Symposium on Computer Arithmetic, pp.187-194, 2009.

M. Cornea, A Software Implementation of the IEEE 754R Decimal Floating-Point Arithmetic Using the Binary Encoding Format, 18th IEEE Symposium on Computer Arithmetic, pp.29-37, 2007.

W. E. Wong, Recent Catastrophic Accidents: Investigating How Software was Responsible, 4th Int. Conf. on Secure Software Integration and Reliability Improvement, pp.14-22, 2010.

N. Brisebarre, Comparison Between Binary and Decimal FloatingPoint Numbers, IEEE Transactions on Computers, vol.65, 2016.
URL : https://hal.archives-ouvertes.fr/ensl-00737881

O. Kupriianova, Towards a Modern Floating-Point Environment, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01334024

F. De-dinechin, On Ziv's Rounding Test, ACM Transactions on Mathematical Software, vol.39, issue.4, p.26, 2013.

J. Muller, Handbook of Floating-Point Arithmetic, 2010.
URL : https://hal.archives-ouvertes.fr/ensl-00379167

P. H. Sterbenz, Floating-Point Computation, ser. Prentice-Hall series in automatic computation, 1974.

T. Granlund, G. Development-team, and . Mp, The GNU Multiple Precision Arithmetic Library, 2016.

S. Chevillard, M. Joldes¸, J. , and C. Lauter, Sollya: An Environment for the Development of Numerical Codes, Mathematical Software-ICMS 2010, ser. LNCS, vol.6327, pp.28-31, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00761644