|
|
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 Dernière modification :
15 janvier 2024 |
Directeur de recherches au CNRS, en poste au Laboratoire LIP (commun au CNRS, à l'ENS Lyon, à l'INRIA et à l'Univ. Claude Bernard Lyon 1)
et membre du projet CNRS/ENS Lyon/INRIA ARIC (qui a pris la succession du projet CNRS/ENS Lyon/INRIA ARENAIRE).
Editeur en chef adjoint de IEEE Transactions on Emerging Topics in Computing.
LIP, Ecole Normale Supérieure de Lyon, 46 Allée d'Italie, 69364 Lyon Cedex 07, France
téléphone :+33 4 26 23 38 92
email :Jean-Michel.Muller@ENLEVER-CETTE-PARTIEens-lyon.fr
comment se rendre à l' ENS Lyon & plan d'accès
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.
Publications
(avec
accès électronique à des rapports de recherche récents)
Handbook
of Floating-Point Arithmetic, 2ème
édition, 2018.
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"
31st IEEE
Symposium on Computer Arithmetic (ARITH 2024), Malaga, Spain,
Jun. 2024
30th IEEE
Symposium on Computer Arithmetic (ARITH 2023), Portland,
Oregon, USA, Sept. 2023
(n'hésitez pas a suggérer d'autres pages)
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 (2nd edition,
Birkhauser, 2018)
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.).
David G. Hough's validlab home page
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
IEEE Transactions on
Computers
IEEE Transactions on Emerging Topics in Computing
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
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, ...)
Advertising
tips for number system designers
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"
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.
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écentsVidé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.
Transparents
de ma présentation "On the robustness of the 2Sum and Fast2Sum
algorithms" (ANR FastRelax, Toulouse, May 2016)
Make Computer Arithmetic Great Again ? Invited talk at a Panel Session on the future of Computer Arithmetic at Arith-25, June 2018.
Arithmétique et précision des calculs sur ordinateurs, conférence
invitée, Colloque Tous
mesureurs, tous mesurés, Paris, 18-19 octobre 2018.
Reduced Precision Elementary Functions, invited talk, SIAM
CSE21 Minisymposium on Reduced Precision Arithmetic and
Stochastic Rounding (held virtual because of the Covid
Pandemic), March 2, 2021. Slides.
Accurate Calculation of Euclidean Norms using Double-Word
Arithmetic, SIAM PP22 Minisymposium on understanding and
exploiting mixed-precision accelerators for high-performance
computing (held virtual because of the Covid Pandemic), February
24-25, 2022. Slides.
Preuves en arithmétique
virgule flottante, Keynote LIMOS, September 29, 2022.
Error bounds that are
certain, sharp. . . and whose proof is trustable: the curse of
long and boring proofs, Workshop Certified and
Symbolic-Numeric Computation, Lyon, May 2023.
Arithmétique des Ordinateurs, Colloque "Raisonner en arithmétique", Bordeaux, Juin 2023.
Loisirs: Musique, Photo
