Jean-Michel
Muller
|
"Directeur de recherches" au CNRS
Member of the Steering Committee of GDR IM. "Chargé de Mission", ST2I dept of CNRS until september 2009. Member (and former head: sept. 2001 - june 2006) of Laboratoire LIP (common to CNRS, ENS Lyon, INRIA, Univ. Claude Bernard Lyon 1) ,
Member of the CNRS/ENS Lyon/INRIA ARIC project. Former head of the CNRS/ENS Lyon/INRIA ARENAIRE project.
LIP, Ecole Normale Supérieure de Lyon, 46 Allée d'Italie, 69364 Lyon Cedex 07, France
phone
:+33 4 37 28 76 46
fax: +33 4 72 72 88 06 (Please indicate "Attention of J.M. Muller, LIP")
email :Jean-Michel.Muller@REMOVE-THAT-PARTens-lyon.fr
how to get to ENS Lyon & access map
Computer arithmetic: floating-point arithmetic, algorithms and architectures for fast and/or accurate arithmetic, number systems, elementary functions, Cordic.
Publications (with electronic access to new preprints)
New book: Handbook of floating-point arithmetic (Birkhauser, December 2009)
My book Elementary Functions, algorithms and implementation (2nd edition, November 2005)
another book (in French) Calcul et arithmétique des ordinateurs
another book (in French) Qualite des calculs sur ordinateur
my book Arithmétique des ordinateurs(Masson, 1989, in French)freely available online there.
Some notes on the Table Maker's Dilemma
ARITH-21, 21st IEEE
Symposieum on Computer Arithmetic, Austin, Texas, April 2013
ARITH-20, 20th IEEE Symposium on
Computer Arithmetic, Tuebingen, Germany, July 2011
ASAP2012 - 23rd IEEE International Conference on. Application-specific Systems, Architectures and Processors, Delft, The Netherlands, July 2012
ASAP2011 - 22nd IEEE International Conference on. Application-specific Systems, Architectures and Processors, Santa Monica, USA, September 2011
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
IEEE Transactions on Computers Special Issue on Computer Arithmetic, Vol. 54 No 3, March 2005
IEEE Transactions on Computers Special Issue on Computer Arithmetic, Vol. 49, No. 7, July 2000.
IEEE Transactions on Computers Special Section on Computer Arithmetic, Vol. 47, No. 7, July 1998
Journal of VLSI Signal Processing Special Issue on CORDIC, Volume 25, Issue 2, June 2000
Do not hesitate to suggest other pages: send an e-mail to me. If you have a problem with one of these links please tell me.
Proceedings of the 12th IEEE Symposium on Computer Arithmetic (Arith-12)
Proceedings of the 13th IEEE Symposium on Computer Arithmetic (Arith-13)
Proceedings of the 14thIEEE Symposium on Computer Arithmetic (Arith-14)
Proceedings of the 15thIEEE Symposium on Computer Arithmetic (Arith-15)
Proceedings of the 16thIEEE Symposium on Computer Arithmetic (Arith-16)
Proceedings of the 17thIEEE Symposium on Computer Arithmetic (Arith-17)
Proceedings of the 18th IEEESymposium on Computer Arithmetic (Arith-18)
Ercegovac and Lang's book "Digital Arithmetic"
Koren's book "Computer arithmetic algorithms"
Markstein's book "IA-64 and Elementary Functions"
Parhami's bookComputer Arithmetic: Algorithms and Hardware Design
New book: Handbook of floating-point arithmetic (Birkhauser, December 2009)
My book "Elementary functions, Algorithms and Implementation" (second edition, nov. 2005)
Nick Higham's book, (SIAM, Second edition, August 2002, xxx+680 pp.).
David G. Hough's validlab home page
A bibliography on computer arithmetic, built by Peter Kornerup
My own Bibtex database on computer arithmetic
Bibtex bibliography elefunt.bib
Bibtex bibliography fparith.bib
IEEE Transactions on Computers
ACM Transactions on Mathematical Software
Journal of Signal Processing Systems (was formerly named 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, ...)
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.
WWW Computer Architecture Home Page
Sloane's On-Line Encyclopedia of integer sequences
Exact computations with approximate arithmetic, invited conference at the "Jounees en l'honneur de Donald Knuth", Bordeaux, France, 29-31 Oct. 2007.
Le site de la section 06
du Comite national de la Recherche Scientifique
Some issues related to double roundings (invited talk), Minisymposium "Accurate algorithms and applications" at the SIAM2012 Conference, Valencia, June 2012.
Slides (in French) of my lectures on Floating-Point Arithmetic at the spring school "Precision et reproductibilite numerique" (Fréjus, march 2013)
Hobbies: Music , Photo
