A certified infinite norm for the implementation of elementary functions

Proceedings - International Conference on Quality Software

Volumn , Issue , 2007, Pages 153-160

  Chevillard, Sylvain ^a   Lauter, Christoph ^a  

^a UNIVERSITÉ LYON 1   (France)

Author keywords

[No Author keywords available]

Indexed keywords

(MIN ,MAX ,+) FUNCTIONS; ELEMENTARY FUNCTIONS; FLOATING POINT (FP); HIGH QUALITY (HQ); INFINITE NORM; INTERNATIONAL CONFERENCES; QUALITY SOFTWARE;

STRUCTURES (BUILT OBJECTS);

EID: 46449095456     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2007.4385491     Document Type: Conference Paper

References (16)

1. CR-Libm, a library of correctly rounded elementary functions in double-precision. http://lipforgeens-lyon.fr/www/crlibm/.
2. G. Alefeld and D. Claudio. The basic properties of interval arithmetic, its software realizations and some applications. Computers and Structures, 67:3-8, 1998.
3. ANSI/IEEE. Standard 754-1985 for binary floating-point arithmetic, 1985.
4. R. P. Brent. Algorithms for minimization without derivatives. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1973.
5. M. Daumas, G. Melquiond, and C. Muñoz. Guaranteed proofs using interval arithmetic. In P. Montuschi and E. Schwarz, editors, Proceedings of the 17th IEEE Symposium on Computer Arithmetic, pages 188-195, Cape Cod, Massachusetts, USA, 2005.
6. F. de Dinechin, A. Ershov, and N. Gast. Towards the postultimate libm. In 17th IEEE Symposium on Computer Arithmetic, Cape Cod, Massachussets, June 2005.
7. F. de Dinechin, C. Q. Lauter, and G. Melquiond. Assisted verification of elementary functions using Gappa. In P. Langlois and S. Rump, editors, Proceedings of the 21st Annual ACM Symposium on Applied Computing - MCMS Track, volume 2, pages 1318-1322, Dijon, France, April 2006. Association for Computing Machinery, Inc. (ACM).
8. A. Griewank. Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation. SIAM, 2000.
9. J. Harrison. Floating point verification in HOL light: the exponential function. Technical Report 428, University of Cambridge Computer Laboratory, 1997.
10. N. J. Higham. Accuracy and Stability of Numerical Algorithms. Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, second edition, 2002.
11. W. Hofschuster and W. Krämer. FI_LIB, eine schnelle und portable Funktionsbibliothek für reelle Argumente und reelle Intervalle im IEEE-double-Format. Technical Report 98/7, Institut für Wissenschaftliches Rechnen und Mathematische Modellbildung, Universität Karlsruhe, 1998.
12. W.Krämer. Sichere und genaue Abschätzung des Approximationsfehlers bei rationalen Approximationen. Technical report, Institut für angewandte Mathematik, Universität Karlsruhe, 1996.
13. P.Markstein. IA-64 and Elementary Functions: Speed and Precision. Hewlett-Packard Professional Books. Prentice Hall, 2000. ISBN: 0130183482.
14. J.-M. Muller. Elementary Functions, Algorithms and Implementation. Birkhäuser, Boston, 1997.
15. M. Neher. ACETAF: A software package for computing validated bounds for Taylor coefficients of analytic functions. ACM Transactions on Mathematical Software, 2003.
16. A. Neumaier. Interval Methods for Systems of Equations. Cambridge University Press, 1990.