English version

Pages recherche de Vincent Lefèvre: arithmétique des ordinateurs

Je suis Chargé de Recherche INRIA au Laboratoire de l'Informatique du Parallélisme (École Normale Supérieure de Lyon) dans le projet AriC (ex-Arénaire). Je travaille principalement sur l'arithmétique des ordinateurs (en particulier, la virgule flottante et l'arrondi correct, en précision fixe ou arbitraire). Je participe aussi à la normalisation: IEEE 754, arithmétique d'intervalles (P1788), POSIX. Je suis un des principaux développeurs de la bibliothèque GNU MPFR (arithmétique à virgule flottante en précision arbitraire avec arrondi correct), sur laquelle j'ai commencé à travailler quand j'étais au Loria.

Mes pages web

Mon blog associé à ces pages web.

Mes publications

Vous pouvez voir la liste de mes publications (avec un lien sur la publication lorsque celle-ci est disponible sur le web) ou la télécharger au format bibtex.

Notre livre Handbook of Floating-Point Arithmetic (sur le site de l'éditeur; voir aussi cette page avec liens et errata).

Transparents

Information sur les formats de fichiers de mes transparents.



webmaster@vinc17.org