Carlos F. Borges, Claude-Pierre Jeannerod, Jean-Michel Muller. High-level algorithms for correctly-rounded reciprocal square roots. In 29th IEEE Symposium on Computer Arithmetic, ARITH 2022, Lyon, France, September 12-14, 2022. pages 18-25, IEEE, 2022. [doi]
Abstract is missing.