DagSemProc.08021.12.pdf
- Filesize: 159 kB
- 3 pages
Document
Implementation of the reciprocal square root in MPFR
Author
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 8021
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2008-04-22
Cite AsGet BibTex
Paul Zimmermann. Implementation of the reciprocal square root in MPFR. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
https://doi.org/10.4230/DagSemProc.08021.12
https://doi.org/10.4230/DagSemProc.08021.12
Abstract
We describe the implementation of the reciprocal square root --- also called
inverse square root --- as a native function
in the MPFR library. The difficulty is to implement
Newton's iteration for the reciprocal square root on top's of GNU MP's
extsc{mpn} layer, while guaranteeing a rigorous $1/2$ ulp bound on the
roundoff error.
Keywords
- Multiple precision
- floating-point
- inverse square root
- correct rounding
- MPFR library
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads