Towards a correctly-rounded and fast power function in binary64 arithmetic. - Tom Hubrecht; Claude-Pierre Jeannerod; Paul Zimmermann (ARITH, 2023)

Useful applications of correctly-rounded operators of the form ab + cd + e. - Tom Hubrecht; Claude-Pierre Jeannerod; Jean-Michel Muller (ARITH, 2024)