Implementation of the reciprocal square root in MPFR

Zimmermann, Paul

doi:10.4230/DagSemProc.08021.12

Document

Implementation of the reciprocal square root in MPFR

Author Paul Zimmermann

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 8021
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2008-04-22

PDF

File

PDF

DagSemProc.08021.12.pdf

Filesize: 159 kB
3 pages

Document Identifiers

DOI: 10.4230/DagSemProc.08021.12
URN: urn:nbn:de:0030-drops-14357

Subject Classification

Keywords

Multiple precision
floating-point
inverse square root
correct rounding
MPFR library

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

Cite As Get 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

Author Details

Paul Zimmermann

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail