CV Accueil - Archive ouverte HAL

	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, 37 (1), pp.4:1-4:23. ⟨10.1145/1644001.1644005⟩ Article dans une revue inria-00388501v1
	An efficient rounding boundary test for pow(x,y) in double precision Christoph Quirin Lauter , Vincent Lefèvre IEEE Transactions on Computers, 2009, 58 (2), pp.197-207. ⟨10.1109/TC.2008.202⟩ Article dans une revue inria-00583988v1

	Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic Jean-Michel Muller , Peter Kornerup , Christoph Lauter , Vincent Lefèvre , Nicolas Louvet 2008 Pré-publication, Document de travail ensl-00278430v1
	An efficient rounding boundary test for pow(x,y) in double precision Christoph Lauter , Vincent Lefèvre 2007 Pré-publication, Document de travail ensl-00169409v2

Vincent Lefèvre