Can I read Newton-Raphson Division for Floating-Point on EtoBox?
Newton-Raphson Division for Floating-Point by John Leons is a document available to read on EtoBox.
What is Newton-Raphson Division for Floating-Point about?
This document presents methods for proving correct rounding of division algorithms based on Newton-Raphson iterations performed with a fused multiply-add (FMA) operation. It introduces techniques to analyze the Newton-Raphson iterations for both binary and decimal floating-point arithmetic. The key points are: 1. It adapts existing techniques for analyzing exclusion intervals and worst case errors to prove correct rounding for Newton-Raphson division algorithms in any radix, including decimal. 2. It prov
- Author
- John Leons
- Language
- EN