@unpublished{lauter:ensl-00169409, TITLE = {{An efficient rounding boundary test for pow(x,y) in double precision}}, AUTHOR = {Lauter, Christoph and Lef{\`e}vre, Vincent}, URL = {https://ens-lyon.hal.science/ensl-00169409}, NOTE = {18 pages}, YEAR = {2007}, MONTH = Sep, KEYWORDS = {floating-point arithmetic ; correct rounding ; power function}, PDF = {https://ens-lyon.hal.science/ensl-00169409v2/file/power-rr.lip.pdf}, HAL_ID = {ensl-00169409}, HAL_VERSION = {v2}, }