Computing correctly rounded integer powers in floating-point arithmetic
Peter Kornerup, Christoph Lauter, Vincent Lefèvre, Nicolas Louvet, Jean‐Michel Muller · ACM Transactions on Mathematical Software · 2010
We introduce several algorithms for accurately evaluating powers to a positive integer in floating-point arithmetic, assuming a fused multiply-add (fma) instruction is available. For bounded, yet very large values of the exponent, we aim at obtaining correctly rounded results in round-to-nearest mode, that is, our algorithms return the floating-point number that is nearest the exact value.