Nombre de documents trouvés : 42 documents

1 - 2 - 3 - 4 - 5

Generating a Minimal Interval Arithmetic Based on GNU MPFR Lefèvre V. Dans Uncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371) 1 (2011) 43 [hal-00651939 - version 1]

SIPE: Small Integer Plus Exponent Lefèvre V. N° RR-7832 (2011) [hal-00650659 - version 1]

On the Computation of Correctly-Rounded Sums Kornerup P., Lefèvre V., Louvet N., Muller J.-M. IEEE Transactions on Computers (2011) [hal-00646179 - version 1]

LEMA: Towards a Language for Reliable Arithmetic Lefèvre V., Théveny P., De Dinechin F., Jeannerod C.-P., Mouilleron C., Pfannholzer D., Revol N. Dans International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2010) 44 (2010) 41-52 [inria-00542143 - version 1]

On the Computation of Correctly-Rounded Sums Kornerup P., Lefèvre V., Louvet N., Muller J.-M. N° RR-7262 (2010) [inria-00475279 - version 1]

LEMA: Towards a Language for Reliable Arithmetic Lefèvre V., Théveny P., De Dinechin F., Jeannerod C.-P., Mouilleron C., Pfannholzer D., Revol N. N° RR-7258 (2010) [inria-00473767 - version 1]

Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic Kornerup P., Lauter C., Lefèvre V., Louvet N., Muller J.-M. Transactions on Mathematical Software 37, 1 (2010) 4:1-4:23 [inria-00388501 - version 1]

Why and How to Use Arbitrary Precision Ghazi K., Lefèvre V., Théveny P., Zimmermann P. Computing in Science and Engineering 12, 3 (2010) 62-65 [inria-00543927 - version 1]

Handbook of Floating-Point Arithmetic Muller J.-M., Brisebarre N., De Dinechin F., Jeannerod C.-P., Lefèvre V., Melquiond G., Revol N., Stehlé D., Torres S. Birkhauser Boston (Ed.) (2010) 572 [ensl-00379167 - version 1]

Erreurs en arithmétique des ordinateurs Lefèvre V., Muller J.-M. Images des Mathématiques (2009) http://images.math.cnrs.fr/Erreurs-en-arithmetique-des.html [hal-00598554 - version 1]

1 - 2 - 3 - 4 - 5

L'URL de cette page est : http://hal.inria.fr/aut/Vincent Lefevre/