{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T07:29:44Z","timestamp":1769585384853,"version":"3.49.0"},"reference-count":30,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Math. Softw."],"published-print":{"date-parts":[[2010,1]]},"abstract":"<jats:p>\n            We introduce several algorithms for accurately evaluating powers to a positive integer in floating-point arithmetic, assuming a\n            <jats:italic>fused multiply-add<\/jats:italic>\n            (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.\n          <\/jats:p>","DOI":"10.1145\/1644001.1644005","type":"journal-article","created":{"date-parts":[[2010,1,19]],"date-time":"2010-01-19T20:14:58Z","timestamp":1263932098000},"page":"1-23","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Computing correctly rounded integer powers in floating-point arithmetic"],"prefix":"10.1145","volume":"37","author":[{"given":"Peter","family":"Kornerup","sequence":"first","affiliation":[{"name":"Southern Danish University, Odense, M, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Lauter","sequence":"additional","affiliation":[{"name":"CNRS\/ENS Lyon\/INRIA\/UCBL\/Universit\u00e9 de Lyon, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincent","family":"Lef\u00e8vre","sequence":"additional","affiliation":[{"name":"CNRS\/ENS Lyon\/INRIA\/UCBL\/Universit\u00e9 de Lyon, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Louvet","sequence":"additional","affiliation":[{"name":"CNRS\/ENS Lyon\/INRIA\/UCBL\/Universit\u00e9 de Lyon, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Michel","family":"Muller","sequence":"additional","affiliation":[{"name":"CNRS\/ENS Lyon\/INRIA\/UCBL\/Universit\u00e9 de Lyon, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,1,22]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"American National Standards Institute and Institute of Electrical and Electronic Engineers. 1985. IEEE Standard for Binary Floating-Point Arithmetic (ANSI\/IEEE Standard 754-1985). ANSI\/IEEE New York NY.  American National Standards Institute and Institute of Electrical and Electronic Engineers. 1985. IEEE Standard for Binary Floating-Point Arithmetic (ANSI\/IEEE Standard 754-1985). ANSI\/IEEE New York NY."},{"key":"e_1_2_1_2_1","unstructured":"American National Standards Institute and Institute of Electrical and Electronic Engineers. 1987. IEEE Standard for Radix Independent Floating-Point Arithmetic (ANSI\/IEEE Standard 854-1987). ANSI\/IEEE New York NY.  American National Standards Institute and Institute of Electrical and Electronic Engineers. 1987. IEEE Standard for Radix Independent Floating-Point Arithmetic (ANSI\/IEEE Standard 854-1987). ANSI\/IEEE New York NY."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/321941.321944"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2007.17"},{"key":"e_1_2_1_5_1","volume-title":"Proceedings of the 7th International Conference on Quality Software. IEEE Computer Society Press","author":"Chevillard S."},{"key":"e_1_2_1_6_1","unstructured":"Cornea M. Harrison J. and Tang P. T. P. 2002. Scientific Computing on Itanium-Based Systems. Intel Press Hillsboro OR.   Cornea M. Harrison J. and Tang P. T. P. 2002. Scientific Computing on Itanium-Based Systems. Intel Press Hillsboro OR."},{"key":"e_1_2_1_7_1","unstructured":"Daramy-Loirat C. Defour D. de Dinechin F. Gallet M. Gast N. Lauter C. Q. and Muller J.-M. 2006. Cr-libm a library of correctly-rounded elementary functions in double-precision. Tech. rep. Arenaire team LIP Laboratory ENS Lyon Lyon France. https:\/\/lipforge.ens-lyon.fr\/frs\/download.php\/99\/crlibm-0.18beta1.pdf. Dec.  Daramy-Loirat C. Defour D. de Dinechin F. Gallet M. Gast N. Lauter C. Q. and Muller J.-M. 2006. Cr-libm a library of correctly-rounded elementary functions in double-precision. Tech. rep. Arenaire team LIP Laboratory ENS Lyon Lyon France. https:\/\/lipforge.ens-lyon.fr\/frs\/download.php\/99\/crlibm-0.18beta1.pdf. Dec."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2005.46"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141584"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1051\/ita:2007003"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01397083"},{"key":"e_1_2_1_12_1","series-title":"Lecture Notes in Computer Science","volume-title":"Accurate Scientific Computations","author":"Gal S."},{"key":"e_1_2_1_13_1","unstructured":"IEEE. 2008. IEEE Standard for Floating-Point Arithmetic. (IEEE Standard 754#8482;-2008). IEEE New York NY.  IEEE. 2008. IEEE Standard for Floating-Point Arithmetic. (IEEE Standard 754#8482;-2008). IEEE New York NY."},{"key":"e_1_2_1_14_1","unstructured":"Knuth D. 1998. The Art of Computer Programming 3rd ed. Vol. 2. Addison-Wesley Reading MA.   Knuth D. 1998. The Art of Computer Programming 3rd ed. Vol. 2. Addison-Wesley Reading MA."},{"key":"e_1_2_1_15_1","unstructured":"Lauter C. 2003. A correctly rounded implementation of the exponential function on the Intel Itanium architecture. Research Rep. RR-5024 INRIA. Nov. http:\/\/www.inria.fr\/rrrt\/rr-5024.html.  Lauter C. 2003. A correctly rounded implementation of the exponential function on the Intel Itanium architecture. Research Rep. RR-5024 INRIA. Nov. http:\/\/www.inria.fr\/rrrt\/rr-5024.html."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.202"},{"key":"e_1_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Lef\u00e8vre V. 1999. Developments in Reliable Computing. Kluwer Academic Publishers Dordrecht The Netherlands. Chapter \u201cAn Algorithm That Computes a Lower Bound on the Distance Between a Segment and Z2 \u201d 203--212.  Lef\u00e8vre V. 1999. Developments in Reliable Computing. Kluwer Academic Publishers Dordrecht The Netherlands. Chapter \u201cAn Algorithm That Computes a Lower Bound on the Distance Between a Segment and Z 2 \u201d 203--212.","DOI":"10.1007\/978-94-017-1247-7_16"},{"key":"e_1_2_1_18_1","unstructured":"Lef\u00e8vre V. 2000. Moyens arithm\u00e9tiques pour un calcul fiable. Ph.D. dissertation. \u00c9cole Normale Sup\u00e9rieure de Lyon Lyon France.  Lef\u00e8vre V. 2000. Moyens arithm\u00e9tiques pour un calcul fiable. Ph.D. dissertation. \u00c9cole Normale Sup\u00e9rieure de Lyon Lyon France."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2005.32"},{"key":"e_1_2_1_20_1","volume-title":"Proceedings of the 15th IEEE Symposium on Computer Arithmetic (ARITH15)","author":"Lef\u00e8vre V."},{"key":"e_1_2_1_21_1","unstructured":"Li R.-C. Markstein P. Okada J. and Thomas J. 2002. The libm library and floating-point arithmetic in HP-UX for Itanium 2. Tech. rep. Hewlett-Packard Palo Alto CA. www.uta.edu\/faculty\/rcli\/papers\/FP_White_Paper_V2.pdf.  Li R.-C. Markstein P. Okada J. and Thomas J. 2002. The libm library and floating-point arithmetic in HP-UX for Itanium 2. Tech. rep. Hewlett-Packard Palo Alto CA. www.uta.edu\/faculty\/rcli\/papers\/FP_White_Paper_V2.pdf."},{"key":"e_1_2_1_22_1","unstructured":"Markstein P. 2000. IA-64 and Elementary Functions: Speed and Precision. Hewlett-Packard Professional Books. Prentice Hall Englewood Cliffs NJ.  Markstein P. 2000. IA-64 and Elementary Functions: Speed and Precision. Hewlett-Packard Professional Books. Prentice Hall Englewood Cliffs NJ."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01975722"},{"key":"e_1_2_1_24_1","unstructured":"Muller J.-M. 2006. Elementary Functions Algorithms and Implementation 2nd ed. Birkh\u00e4user Boston MA.   Muller J.-M. 2006. Elementary Functions Algorithms and Implementation 2nd ed. Birkh\u00e4user Boston MA."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1137\/030601818"},{"key":"e_1_2_1_26_1","unstructured":"Revy G. 2006. Analyse et implantation d'algorithmes rapides pour l'\u00e9valuation polynomiale sur les nombres flottants. M.S. dissertation. \u00c9cole Normale Sup\u00e9rieure de Lyon Lyon France.  Revy G. 2006. Analyse et implantation d'algorithmes rapides pour l'\u00e9valuation polynomiale sur les nombres flottants. M.S. dissertation. \u00c9cole Normale Sup\u00e9rieure de Lyon Lyon France."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1137\/050645671"},{"key":"e_1_2_1_28_1","unstructured":"Sterbenz P. H. 1974. Floating Point Computation. Prentice-Hall Englewood Cliffs NJ.  Sterbenz P. H. 1974. Floating Point Computation. Prentice-Hall Englewood Cliffs NJ."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.272429"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/114697.116813"}],"container-title":["ACM Transactions on Mathematical Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1644001.1644005","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1644001.1644005","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:26:43Z","timestamp":1750278403000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1644001.1644005"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,1]]}},"alternative-id":["10.1145\/1644001.1644005"],"URL":"https:\/\/doi.org\/10.1145\/1644001.1644005","relation":{},"ISSN":["0098-3500","1557-7295"],"issn-type":[{"value":"0098-3500","type":"print"},{"value":"1557-7295","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1]]},"assertion":[{"value":"2008-05-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2009-05-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2010-01-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}