Metalibm: A Mathematical Functions Code Generator-Reference-Cited by-同舟云学术

Metalibm: A Mathematical Functions Code Generator

Published:2014 Issue: Volume: Page:713-717
ISSN:0302-9743
Container-title:Mathematical Software – ICMS 2014
language:
Short-container-title:

Author:

Kupriianova Olga,Lauter Christoph

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-44199-2_106

Reference13 articles.

1. Loosemore, S., Stallman, R.M., et al.: The GNU C Library Reference Manual for version 2.19, Free Software Foundation, Inc.

2. Daramy-Loirat, C., Defour, D., de Dinechin, F., et al.: CR-LIBM. A library of correctly rounded elementary functions in double-precision, user’s manual (2013)

3. IEEE Computer Society, IEEE Standard for Floating-Point Arithmetic, IEEE Standard 754-2008 (August 2008)

4. Muller, J.-M.: Elementary Functions: Algorithms and Implementation. Birkhauser Boston, Inc., Secaucus (1997)

5. Lecture Notes in Computer Science;S. Chevillard,2010

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Floating-Point TVPI Abstract Domain;Proceedings of the ACM on Programming Languages;2024-06-20

2. Implementation and Synthesis of Math Library Functions;Proceedings of the ACM on Programming Languages;2024-01-05

3. Towards Machine-Efficient Rational L^∞-Approximations of Mathematical Functions;2023 IEEE 30th Symposium on Computer Arithmetic (ARITH);2023-09-04

4. Synthesizing mathematical identities with e-graphs;Proceedings of the 1st ACM SIGPLAN International Symposium on E-Graph Research, Applications, Practices, and Human-factors;2022-06-14

5. Progressive polynomial approximations for fast correctly rounded math libraries;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09