High-level algorithms for correctly-rounded reciprocal square roots.

Carlos F. Borges, Claude-Pierre Jeannerod, Jean-Michel Muller

Browse the full ARITH paper archive.