^{Jean-Michel Muller}

Institution

"Directeur de recherches" au CNRS

"Charge 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 and former head of the  CNRS/ENS Lyon/INRIA ARENAIREproject.

Address

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

phone :+33 4 72 72 82 29

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

Research interests

Computer arithmetic: floating-point arithmetic, algorithms and architectures for fast and/or accurate arithmetic, number systems, elementary functions, Cordic.

Vitae

Publications (with electronic access to new  preprints)

New book: Handbook of floating-point arithmetic (Birkhauser, December 2009)

My  book Elementary Functions, algorithms and implementation (2^nd 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

Conferences and special issues related to computer arithmetic

ASAP 2008, Leuven, Belgium, July 2008

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

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

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

Slides from the Workshop on Certified Arithmetics (Lyon, Nov 15-16, 2000)

Some  links related to computer arithmetic

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.

Recently updated: bibtex file containing around 930 references on computer arithmetic

Computer arithmetic books

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 17^thIEEE 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 book "Computer 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, Accuracy and Stability of Numerical Algorithms(SIAM, Second edition, August 2002, xxx+680 pp.).
 

People and groups

Stanford architecture and arithmetic group

Milos Ercegovac

Tomas Lang

David G. Hough's  validlab home page

Israel Koren's home page

John Harrison

William Kahan's home page

Peter Kornerup

Peter Markstein

Lehigh University Computer Architecture and Arithmetic Group

UCLA Group for arithmetic-intensive algorithms and application-specific architectures

David Matula

Jean Vuillemin

Paul Zimmerman

Reto Zimmermann

David Russinoff page (with a paper on a Proof of IEEE Compliance of the AMD-K7 Floating Point Multiplication, Division, and Square Root RTL)

Nick Higham

Michael Schulte

Arnaud Tisserand

Bibliography

A bibliography on computer arithmetic, built by Peter Kornerup

My own Bibtex database on computer arithmetic

Bibtex bibliography elefunt.bib

Bibtex bibliography fparith.bib

Some journals that publish papers on Computer Arithmetic

The IEEE Transactions on Computers

The Journal of VLSI Signal Processing

The IEEE Transactions on VLSI Systems

JUCS: Journal of Universal Computer Science

Reliable Computing

Multiple precision

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, ...)

Floating-Point arithmetic

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

Some Proposals for Revising ANSI/IEEE Std 754-1985  http://754r.ucbtest.org

IEEE 754 Floating-Point test Software

Robust computation resource page

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

Some software designed by the Arenaire Team

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.

Miscellaneous

WWW Computer Architecture Home Page

Sloane's On-Line Encyclopedia of integer sequences

Finch's Favorite Mathematical Constants

My recent co-authors

Exact computations with approximate arithmetic, invited conference at the "Jounees en l'honneur de Donald Knuth", Bordeaux, France, 29-31 Oct. 2007.

Hobbies: Music, Photo