Final report of the ATLAS detector simulation performance assessment group, 2010. ,
An Introduction to Numerical Analysis ,
When double rounding is odd, Proceedings of the 17th IMACS World Congress on Computational and Applied Mathematics, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00070603
Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd, IEEE Transactions on Computers, vol.57, issue.4, pp.462-471, 2008. ,
DOI : 10.1109/TC.2007.70819
URL : https://hal.archives-ouvertes.fr/inria-00080427
Efficient polynomial L-approximations, 18th IEEE Symposium on Computer Arithmetic (ARITH '07), pp.25-27, 2007. ,
DOI : 10.1109/ARITH.2007.17
URL : https://hal.archives-ouvertes.fr/inria-00119513
Comparison between Binary64 and Decimal64 Floating-Point Numbers, 2013 IEEE 21st Symposium on Computer Arithmetic, pp.145-152, 2013. ,
DOI : 10.1109/ARITH.2013.23
URL : https://hal.archives-ouvertes.fr/ensl-00737881
Correctly Rounded Multiplication by Arbitrary Precision Constants, IEEE Transactions on Computers, vol.57, issue.2, pp.165-174, 2008. ,
DOI : 10.1109/TC.2007.70813
URL : https://hal.archives-ouvertes.fr/ensl-00000010
Contributions to computer arithmetic and applications to embedded systems, 2014. ,
URL : https://hal.archives-ouvertes.fr/tel-01078204
Code Generators for Mathematical Functions, 2015 IEEE 22nd Symposium on Computer Arithmetic, pp.66-73, 2015. ,
DOI : 10.1109/ARITH.2015.22
URL : https://hal.archives-ouvertes.fr/hal-01084726
Fingers or fists? (the choice of decimal or binary representation), Communications of the ACM, vol.2, issue.12 ,
DOI : 10.1145/368518.368529
Printing floating-point numbers quickly and accurately, Proc. of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, pp.108-116, 1996. ,
DOI : 10.1145/249069.231397
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.2247
The Early Computers of Konrad Zuse, 1935 to 1945, IEEE Annals of the History of Computing, vol.3, issue.3, pp.241-262, 1935. ,
DOI : 10.1109/MAHC.1981.10034
Introduction to Approximation Theory. Numerical mathematics and scientific computation, 1982. ,
´ Evaluation efficace de fonctions numériques ? Outils et exemples, 2009. ,
Sollya: An Environment for the Development of Numerical Codes, Mathematical Software -ICMS 2010, pp.28-31, 2010. ,
DOI : 10.1007/978-3-642-15582-6_5
URL : https://hal.archives-ouvertes.fr/hal-00761644
Certified and Fast Computation of Supremum Norms of Approximation Errors, 2009 19th IEEE Symposium on Computer Arithmetic, pp.9-10, 2009. ,
DOI : 10.1109/ARITH.2009.18
URL : https://hal.archives-ouvertes.fr/ensl-00334545
User's manual for the Sollya tool ,
Inside the Pentium FDIV bug. Dr. Dobb's Journal of Software Tools, pp.129-135, 1995. ,
A Software Implementation of the IEEE 754R Decimal Floating-Point Arithmetic Using the Binary Encoding Format, IEEE Transactions on Computers, vol.58, issue.2, pp.148-162, 2009. ,
DOI : 10.1109/TC.2008.209
Decimal floating-point: Algorism for computers A decimal floating-point specification, 16th IEEE Symposium on Computer Arithmetic 15th IEEE Symposium on Computer Arithmetic, pp.15-18, 2001. ,
Générateurs de code pour les fonctions mathématiques et les filtres, 2013. ,
Certifying the Floating-Point Implementation of an Elementary Function Using Gappa, IEEE Transactions on Computers, vol.60, issue.2, pp.242-253, 2011. ,
DOI : 10.1109/TC.2010.128
URL : https://hal.archives-ouvertes.fr/ensl-00200830
FonctionsélémentairesFonctionsélémentaires: algorithmes et implémentations efficaes pour l'arrondi correct en double précision, 2003. ,
Daramy-Loirat. Crlibm, a library of correctly rounded elementary functions in double-precision ,
A floating-point technique for extending the available precision, Numerische Mathematik, vol.5, issue.3, pp.224-24272, 1971. ,
DOI : 10.1007/BF01397083
A general method for evaluation of functions and computations in a digital computing, 1975 IEEE 3rd Symposium on Computer Arithmetic (ARITH), pp.147-157, 1975. ,
DOI : 10.1109/ARITH.1975.6156981
Digital arithmetic, 2004. ,
URL : https://hal.archives-ouvertes.fr/ensl-00542215
MPFR, ACM Transactions on Mathematical Software, vol.33, issue.2, pp.1-13, 2007. ,
DOI : 10.1145/1236463.1236468
URL : https://hal.archives-ouvertes.fr/inria-00103655
The Design and Implementation of FFTW3, Proceedings of the IEEE, vol.93, issue.2, pp.216-231, 2005. ,
DOI : 10.1109/JPROC.2004.840301
Computing elementary functions: A new approach for achieving high accuracy and good performance, Accurate scientific computations, 1986. ,
DOI : 10.1007/3-540-16798-6_1
An accurate elementary mathematical library for the IEEE floating point standard, ACM Transactions on Mathematical Software, vol.17, issue.1, pp.26-45, 1991. ,
DOI : 10.1145/103147.103151
Correctly rounded binary-decimal and decimal-binary conversions. Numerical Analysis Manuscript 90-10, 1990. ,
What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-48, 1991. ,
DOI : 10.1145/103162.103163
Conception et implantation d'algorithmes efficaces pour la résolution du dilemme du fabricant de tables sur architecturesparalì eles, 2013. ,
Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic, Information and Computation, vol.216, pp.57-71, 2012. ,
DOI : 10.1016/j.ic.2011.09.003
URL : https://hal.archives-ouvertes.fr/hal-01146509
Accuracy and stability of numerical algorithms, 2002. ,
DOI : 10.1137/1.9780898718027
Standard for Binary Floating-Point Arithmetic, pp.754-1985, 1985. ,
Floating point in experimental HEP data processing, 2nd CERN Openlab/INTEL Workshop on Numerical Computing, 2012. ,
On the Componentwise Accuracy of Complex Floating-Point Division with an FMA, 2013 IEEE 21st Symposium on Computer Arithmetic, pp.83-90, 2013. ,
DOI : 10.1109/ARITH.2013.8
URL : https://hal.archives-ouvertes.fr/ensl-00734339
Why do we need a floating-point arithmetic standard University of California at Berkeley, 1981. [48] W. Kahan. A logarithm too clever by half, 2004. ,
Accelerating SPICE Model-Evaluation using FPGAs, 2009 17th IEEE Symposium on Field Programmable Custom Computing Machines, pp.37-44, 2009. ,
DOI : 10.1109/FCCM.2009.14
Continued Fractions [51] O. Kupriianova and C. Lauter. The libieee754 compliance library for the IEEE754-2008 Standard, 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 1997. ,
Replacing Branches by Polynomials in Vectorizable Elementary Functions, 16th GAMM-IMACS International Symposium on Scientific Computing, 2014. ,
DOI : 10.1007/978-3-319-31769-4_2
A domain splitting algorithm for the mathematical functions code generator, 2014 48th Asilomar Conference on Signals, Systems and Computers, 2014. ,
DOI : 10.1109/ACSSC.2014.7094664
URL : https://hal.archives-ouvertes.fr/hal-01118915
Metalibm: A Mathematical Functions Code Generator, Mathematical Software -ICMS 2014 -4th International Congress Proceedings, pp.713-717, 2014. ,
DOI : 10.1007/978-3-662-44199-2_106
Radix conversion for IEEE754-2008 mixed radix floating-point arithmetic, 2013 Asilomar Conference on Signals, Systems and Computers, pp.1134-1138, 2013. ,
DOI : 10.1109/ACSSC.2013.6810471
URL : https://hal.archives-ouvertes.fr/ensl-00916532
Arrondi correct de fonctions mathématiques. Fonctions univariées et bivariées, certification et automatisation, 2008. ,
Semi-Automatic Floating-Point Implementation of Special Functions, 2015 IEEE 22nd Symposium on Computer Arithmetic, pp.58-65, 2015. ,
DOI : 10.1109/ARITH.2015.12
URL : https://hal.archives-ouvertes.fr/hal-01137953
Hierarchical segmentation schemes for function evaluation, Proceedings. 2003 IEEE International Conference on Field-Programmable Technology (FPT) (IEEE Cat. No.03EX798), 2009. ,
DOI : 10.1109/FPT.2003.1275736
Moyens arithmétiques pour un calcul fiable, 2000. ,
Ariane 5 ? flight 501 failure, Inquiry board, 1996. ,
Newton-Raphson algorithms for floating-point division using an FMA, ASAP 2010, 21st IEEE International Conference on Application-specific Systems, Architectures and Processors, pp.7-9, 2010. ,
DOI : 10.1109/ASAP.2010.5540948
URL : https://hal.archives-ouvertes.fr/ensl-00549027
A Formalization of Floating-Point Numeric Base Conversion, IEEE Transactions on Computers, vol.19, issue.8, pp.681-692, 1970. ,
DOI : 10.1109/T-C.1970.223017
User's Guide for Gappa ,
Exact rounding of certain elementary functions, 11th Symposium on Computer Arithmetic, pp.138-145, 1993. ,
Automatic Generation of Fast and Certified Code for Polynomial Evaluation, 2011 IEEE 20th Symposium on Computer Arithmetic, pp.25-27, 2011. ,
DOI : 10.1109/ARITH.2011.39
URL : https://hal.archives-ouvertes.fr/ensl-00531721
On the definition of ulp(x), 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00070503
Handbook of Floating-Point Arithmetic, Birkhäuser, 2010. ,
DOI : 10.1007/978-0-8176-4705-6
URL : https://hal.archives-ouvertes.fr/ensl-00379167
Radian reduction for trigonometric functions, ACM SIGNUM Newsletter, vol.18, issue.1, pp.19-24, 1983. ,
DOI : 10.1145/1057600.1057602
The VDT mathematical library, 2nd CERN Openlab/INTEL Workshop on Numerical Computing, 2012. ,
SPIRAL: Code Generation for DSP Transforms, Proceedings of the IEEE, special issue on " Program Generation, Optimization, and Adaptation, pp.93232-275, 2005. ,
DOI : 10.1109/JPROC.2004.840306
From Analytical Engine to Electronic Digital Computer: The Contributions of Ludgate, Torres, and Bush, IEEE Annals of the History of Computing, vol.4, issue.4, pp.327-341, 1982. ,
DOI : 10.1109/MAHC.1982.10042
Sur un procédé convergent d'approximations successives pour déterminer les polynômes d'approximation Mechanism to detect IEEE under- flow exceptions on speculative floating-point operations, Académie des Sciences, p.490, 1934. ,
Solving the linear interval tolerance problem, Mathematics and Computers in Simulation, vol.39, issue.1-2, pp.53-85, 1995. ,
DOI : 10.1016/0378-4754(95)00135-K
Interval algebraic problems and their numerical solution, Novosibirsk Institute of Computational Mathematics and Mathematical Geophysics, 2000. ,
Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates, Discrete & Computational Geometry, vol.18, issue.3, pp.305-368, 1997. ,
DOI : 10.1007/PL00009321
How to print floating-point numbers accurately, Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), pp.112-126, 1990. ,
Binary-integer decimal encoding for decimal floating point, Software and Solutions Group, Intel Corporation, 2005. ,
Table-driven implementation of the exponential function in IEEE floating-point arithmetic, ACM Transactions on Mathematical Software, vol.15, issue.2, pp.144-157, 1989. ,
DOI : 10.1145/63522.214389
Table-driven implementation of the logarithm function in IEEE floating-point arithmetic, ACM Transactions on Mathematical Software, vol.16, issue.4, pp.378-400, 1990. ,
DOI : 10.1145/98267.98294
Table-driven implementation of the Expm1 function in IEEE floating-point arithmetic, ACM Transactions on Mathematical Software, vol.18, issue.2, pp.211-222, 1992. ,
DOI : 10.1145/146847.146928
Simplified floating-point division and square root, 2013 IEEE International Conference on Acoustics, Speech and Signal Processing, pp.2707-2711, 2013. ,
DOI : 10.1109/ICASSP.2013.6638148
Inexpensive correctly rounded floating-point division and square root with input scaling, SiPS 2013 Proceedings, pp.159-164, 2013. ,
DOI : 10.1109/SiPS.2013.6674498
Minimizing development and maintenance costs in supporting persistently optimized BLAS. Soft- ware: Practice and Experience, pp.101-121, 2005. ,