Jean-Michel Muller

Institution - adresse - curriculum-vitae - publications - conférences et numéros spéciaux sur l'arithmétique des ordinateurs - livres d'arithmétique des ordinateurs - personnes et équipes - bibliographie - arithmétique virgule flottante - citations

Click on  to get the same page in English

Dernière modification : 31 mars 2017

Institution

Directeur de recherches au CNRS, en posteau Laboratoire LIP (commun au CNRS, à l'ENS Lyon, à l'INRIA et à l'Univ. Claude Bernard Lyon 1)

Co-directeur (avec Arnaud Durand) du GDR IM

et membre du projet CNRS/ENS Lyon/INRIA  ARIC (qui a pris la succession du projet CNRS/ENS Lyon/INRIA  ARENAIRE).

Editeur associé de IEEE Transactions on Computers

Fonctions récentes: Chargé de mission au département ST2I du CNRS jusqu'en septembre 2009. Ancien directeur (sept. 2001-juin2006) du Laboratoire LIP



Adresse

LIP, Ecole Normale Supérieure de Lyon, 46 Allée d'Italie, 69364 Lyon Cedex 07, France

téléphone :+33 4 72 72 85 52

télécopie:  +33 4 72 72 88 06 (fax partagé: préciser "à l'attention de J.M. Muller")

email :Jean-Michel.Muller@ENLEVER-CETTE-PARTIEens-lyon.fr

comment se rendre à l' ENS Lyon   & plan d'accès


Domaine de recherche

Arithmétique des ordinateurs: algorithmes et architectures pour calculer rapidement et/ou avec précision. Opérations arithmétiques et calcul des fonctions élémentaires. Arithmétique virgule flottante. Cordic.



Curriculum-Vitae

Publications (avec accès électronique à des rapports de recherche récents)

Handbook of Floating-Point Arithmetic (Birkhauser, décembre 2009)

mon livre Elementary Functions, algorithms and implementation (nouveau: 3ème édition, décembre 2016)

  

le livre Calcul et arithmétique des ordinateurs (Hermès, traité IC2, 2004)

le livre  Qualité des calculs sur ordinateur (1997, ouvrage collectif)

mon livre Arithmétique des ordinateurs (Masson, 1989) accessible gratuitement en ligne ici.

Notes sur le "Dilemme du fabricant de tables"


Conférences et numéros spéciaux sur l'arithmétique des ordinateurs

ARITH-22, 22nd IEEE Symposium on Computer Arithmetic, Lyon, France, June 22-24, 2015: l'appel à communications est ici.

ARITH-21, 21st IEEE Symposieum on Computer Arithmetic, Austin, Texas, April 2013

ARITH-20, 20th IEEE Symposium on Computer Arithmetic, Tuebingen, Germany, July 2011

ASAP2014 - 25th IEEE International Conference on. Application-specific Systems, Architectures and Processors, Zurich, Switzerland, June 2014

ASAP2013 - 24th IEEE International Conference on. Application-specific Systems, Architectures and Processors, Washington, USA, June 2013

ASAP2012 - 23rd IEEE International Conference on. Application-specific Systems, Architectures and Processors, Delft, The Netherlands, July 2012

Special issue "Real Numbers and Computers", Theoretical Computer Science, Vol.  291, issue 2, Jan. 2003.

IEEE Transactions on Computers Special Session on Computer Arithmetic, Vol. 60 No 2, Feb. 2011

IEEE Transactions on Computers Special Section on Computer Arithmetic, Vol. 58 No 2, Feb. 2009



Quelques pages web relatives à l'arithmétique des ordinateurs

(n'hésitez pas a suggérer d'autres  pages)

Actes des IEEE Symposia on Computer Arithmetic depuis 1969

Livres

Le livre d'Ercegovac et Lang,  "Digital Arithmetic"

Le livre de Koren "Computer arithmetic algorithms"

Le livre de Markstein "IA-64 and Elementary Functions"

Le livre de Parhami "Computer Arithmetic: Algorithms and Hardware Design"

Nouveau livre Handbook of Floating-Point Arithmetic (Birkhauser, décembre 2009)

mon livre Elementary Functions, algorithms and implementation (3ème édition, décembre 2016)

Le livre de Nick Higham, Accuracy and Stability of Numerical Algorithms (SIAM, Second edition, August 2002, xxx+680 pp.).


Personnes et équipes

Milos Ercegovac

Israel Koren's home page

John Harrison

William Kahan

Peter Kornerup

David Matula

Paul Zimmerman

Nick Higham

Michael Schulte

Arnaud Tisserand

Sylvie Boldo

Guillaume Melquiond

Paolo Montuschi

Behrooz Parhami

Elisardo Antelo

Jean-Luc Beuchat

Florent de Dinechin

David G. Hough's  validlab home page

Bibliographie

A bibliography on computer arithmetic, construite par Peter Kornerup

Numéro spécial "Real Numbers and Computers"  (Vol. 1 No 7, Jul. 1995) of JUCS

Bibtex bibliography elefunt.bib

Bibtex bibliography fparith.bib

Journaux publiant des articles sur l'arithmétique des ordinateurs

IEEE Transactions on Computers

ACM Transactions on Mathematical Software

Journal of Signal Processing Systems (autrefois appelé Journal of VLSI Signal Processing)

IEEE Transactions on VLSI Systems

JUCS: Journal of Universal Computer Science

Reliable Computing


Multiprécision

Paul Zimmerman's page on multiple precision arithmetic

The GNU MP (Multiple Precision) Home Page

MPFR, a library for multiprecision floating-point arithmetic with exact rounding (try it: it is excellent!)

PARI/GP, a library for very fast arithmetic (factorization, elliptic curves, ...)

Arithmétique virgule flottante 

Computer Arithmetic Tragedies

Kahan's documents relating to the current status of the IEEE-754 standard for binary floating-point arithmetic

Intel document Highly optimized mathematical functions for the IA-64 architectures

The new IEEE 754-2008 standard for Floating-Point Arithmetic: the official (final) document, the last public draft

IEEE 754 Floating-Point test Software

Robust computation resource page

Goldberg's paper "What every computer scientist should know about floating-point arithmetic"

Quelques logiciels développés par l'équipe Arénaire du LIP

CRLIBM: correctly rounded mathematical functions

FLIP: floating-point library for integer processors

Gappa: a tool for computing and proving bounds on expressions and rounding errors.

Divers

Médaille d'Argent du CNRS, 2013

Prix "La Recherche" pour les Sciences de l'Information (avec Peter Kornerup, Vincent Lefèvre et Nicolas Louvet), 2013

IEEE Fellow, 2017

Le site de la section 06 du Comité national de la Recherche Scientifique

Mes co-auteurs récents

Présentations récentes

Vidéo de ma présentation au colloquium Jacques Morgenstern (Sophia-Antipolis, 11 mars 2004)

Exact computations with approximate arithmetic, Conférence invitée aux "Journées en l'honneur de Donald Knuth", Bordeaux, France, 29-31 Oct. 2007.

Some issues related to double roundings (invited talk), Conférence invitée au Minisymposium "Accurate algorithms and applications" at the SIAM2012 Conference, Valencia, June 2012.

Transparents de mon cours "Virgule Flottante" à l'Ecole "Précision et reproductibilité en calcul numérique", Fréjus, mars 2013.


Loisirs: Musique, Photo