JM

Jean-Michel Muller

Directeur de Recherches au CNRS, Lab. LIP
160
Documents
Contact

Présentation

Directeur de Recherche au CNRS

Laboratoire LIP, Equipe AriC (commune au CNRS, à l'ENS de Lyon, à l'Inria et à l'Université Claude bernard Lyon 1)

Adresse postale: ENS Lyon, 46 allée d'Italie, 69364 Lyon Cédex 07


Publications

Publications

Deposit thumbnail

Correctly rounded evaluation of a function: why, how, and at what cost?

Nicolas Brisebarre , Guillaume Hanrot , Jean-Michel Muller , Paul Zimmermann

ACM Computing Surveys, 2026, 58 (1), ⟨10.1145/3747840⟩

Article dans une revue hal-04474530v4
Deposit thumbnail

Emulation of the FMA and the correctly-rounded sum of three numbers in rounding-to-nearest floating-point arithmetic

Stef Graillat , Jean-Michel Muller

Numerische Mathematik, 2025, ⟨10.1007/s00211-025-01487-2⟩

Article dans une revue hal-04575249v2
Deposit thumbnail

Error in ulps of the multiplication or division by a correctly-rounded function or constant in binary floating-point arithmetic

Nicolas Brisebarre , Jean-Michel Muller , Joris Picot

IEEE Transactions on Emerging Topics in Computing, 2024, 12 (2), pp.656-666. ⟨10.1109/TETC.2023.3294986⟩

Article dans une revue hal-04044716v2
Deposit thumbnail

Accurate calculation of Euclidean Norms using Double-word arithmetic

Vincent Lefèvre , Nicolas Louvet , Jean-Michel Muller , Joris Picot , Laurence Rideau

ACM Transactions on Mathematical Software, 2023, 49 (1), pp.1-34. ⟨10.1145/3568672⟩

Article dans une revue hal-03482567v2

Le dilemme du fabricant de tables

Sylvie Boldo , Nicolas Brisebarre , Jean-Michel Muller

La Recherche, 2023, 572

Article dans une revue hal-03932037v1
Deposit thumbnail

Floating-point arithmetic

Sylvie Boldo , Claude-Pierre Jeannerod , Guillaume Melquiond , Jean-Michel Muller

Acta Numerica, 2023, 32, pp.203-290. ⟨10.1017/S0962492922000101⟩

Article dans une revue hal-04095151v1
Deposit thumbnail

Formalization of double-word arithmetic, and comments on "Tight and rigorous error bounds for basic building blocks of double-word arithmetic

Jean-Michel Muller , Laurence Rideau

ACM Transactions on Mathematical Software, 2022, 48 (1), pp.1-24. ⟨10.1145/3484514⟩

Article dans une revue hal-02972245v2
Deposit thumbnail

Computer Arithmetic: Continuing a Long and Steady Emergence

Paolo Montuschi , Jean-Michel Muller , Florent de Dinechin

Computer, 2022, 55 (10), pp.4-6. ⟨10.1109/MC.2022.3193206⟩

Article dans une revue hal-03806577v1
Deposit thumbnail

Emulating round-to-nearest ties-to-zero "augmented" floating-point operations using round-to-nearest ties-to-even arithmetic

Sylvie Boldo , Christoph Q. Lauter , Jean-Michel Muller

IEEE Transactions on Computers, 2021, 70 (7), pp.1046 - 1058. ⟨10.1109/TC.2020.3002702⟩

Article dans une revue hal-02137968v4
Deposit thumbnail

Elementary Functions and Approximate Computing

Jean-Michel Muller

Proceedings of the IEEE, 2020, 108 (12), pp.1558-2256. ⟨10.1109/JPROC.2020.2991885⟩

Article dans une revue hal-02517784v2
Deposit thumbnail

Error analysis of some operations involved in the Cooley-Tukey Fast Fourier Transform

Nicolas Brisebarre , Mioara Joldes , Jean-Michel Muller , Ana-Maria Naneş , Joris Picot

ACM Transactions on Mathematical Software, 2020, 46 (2), pp.1-34. ⟨10.1145/3368619⟩

Article dans une revue hal-01949458v2
Deposit thumbnail

Algorithms for triple-word arithmetic

Nicolas Fabiano , Jean-Michel Muller , Joris Picot

IEEE Transactions on Computers, 2019, 68 (11), pp.1573-1583. ⟨10.1109/TC.2019.2918451⟩

Article dans une revue hal-01869009v2
Deposit thumbnail

Tight and rigorous error bounds for basic building blocks of double-word arithmetic

Mioara Maria Joldes , Jean-Michel Muller , Valentina Popescu

ACM Transactions on Mathematical Software, 2017, 44 (2), pp.1 - 27. ⟨10.1145/3121432⟩

Article dans une revue hal-01351529v3
Deposit thumbnail

Error bounds on complex floating-point multiplication with an FMA

Claude-Pierre Jeannerod , Peter Kornerup , Nicolas Louvet , Jean-Michel Muller

Mathematics of Computation, 2017, 86 (304), pp. 881-898. ⟨10.1090/mcom/3123⟩

Article dans une revue hal-00867040v5
Deposit thumbnail

On the robustness of the 2Sum and Fast2Sum algorithms

Sylvie Boldo , Stef Graillat , Jean-Michel Muller

ACM Transactions on Mathematical Software, 2017, 44 (1)

Article dans une revue ensl-01310023v2
Deposit thumbnail

Sharp error bounds for complex floating-point inversion

Claude-Pierre Jeannerod , Nicolas Louvet , Jean-Michel Muller , Antoine Plet

Numerical Algorithms, 2016, 73 (3), pp.735-760. ⟨10.1007/s11075-016-0115-x⟩

Article dans une revue ensl-01195625v2
Deposit thumbnail

Arithmetic algorithms for extended precision using floating-point expansions

Mioara Joldes , Olivier Marty , Jean-Michel Muller , Valentina Popescu

IEEE Transactions on Computers, 2016, 65 (4), pp.1197 - 1210. ⟨10.1109/TC.2015.2441714⟩

Article dans une revue hal-01111551v2

Modern Computer Arithmetic

Paolo Montuschi , Jean-Michel Muller

Computer, 2016, 49 (9), pp.12

Article dans une revue hal-01394408v1
Deposit thumbnail

Comparison between binary and decimal floating-point numbers

Nicolas Brisebarre , Christoph Lauter , Marc Mezzarobba , Jean-Michel Muller

IEEE Transactions on Computers, 2016, 65 (7), pp.2032-2044. ⟨10.1109/TC.2015.2479602⟩

Article dans une revue hal-01021928v2
Deposit thumbnail

On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic

Stef Graillat , Vincent Lefèvre , Jean-Michel Muller

Numerical Algorithms, 2015, 70 (3), pp.653-667. ⟨10.1007/s11075-015-9967-8⟩

Article dans une revue ensl-00945033v2
Deposit thumbnail

On the error of Computing ab + cd using Cornea, Harrison and Tang's method

Jean-Michel Muller

ACM Transactions on Mathematical Software, 2015, 41 (2), pp.8

Article dans une revue ensl-00862910v2
Deposit thumbnail

(M, p, k)-Friendly Points: A Table-based Method to Evaluate Trigonometric Function

Dong Wang , Jean-Michel Muller , Nicolas Brisebarre , Milos Ercegovac

IEEE Transactions on Circuits and Systems Part 2 Analog and Digital Signal Processing, 2014, 61 (9), pp.711-715. ⟨10.1109/TCSII.2014.2331094⟩

Article dans une revue ensl-01001673v1

Des ordinateurs capables de calculer plus juste

Jean-Michel Muller , Sylvie Boldo

La Recherche, 2014, pp.46-53

Article dans une revue ensl-01069744v1
Deposit thumbnail

Further analysis of Kahan's algorithm for the accurate computation of 2 x 2 determinants

Claude-Pierre Jeannerod , Nicolas Louvet , Jean-Michel Muller

Mathematics of Computation, 2013, 82 (284), pp.2245-2264. ⟨10.1090/S0025-5718-2013-02679-8⟩

Article dans une revue ensl-00649347v4
Deposit thumbnail

Some issues related to double roundings

Érik Martin-Dorel , Guillaume Melquiond , Jean-Michel Muller

BIT Numerical Mathematics, 2013, 53 (4), pp.897-924. ⟨10.1007/s10543-013-0436-2⟩

Article dans une revue istex ensl-00644408v3
Deposit thumbnail

On Ziv's rounding test

Florent de Dinechin , Christoph Lauter , Jean-Michel Muller , Serge Torres

ACM Transactions on Mathematical Software, 2013, 39 (4), pp.26

Article dans une revue ensl-00693317v2
Deposit thumbnail

On the computation of correctly-rounded sums

Peter Kornerup , Vincent Lefèvre , Nicolas Louvet , Jean-Michel Muller

IEEE Transactions on Computers, 2012, 61 (3), p. 289-298. ⟨10.1109/TC.2011.27⟩

Article dans une revue ensl-00331519v2
Deposit thumbnail

Les calculs sur ordinateurs de plus en plus fiables et sûrs

Bel Dumé , Jean-Michel Muller

Collection "20 ans d'avancées et de perspectives en sciences du numérique", 2012, 2 p

Article dans une revue hal-00813205v1
Deposit thumbnail

Midpoints and exact points of some algebraic functions in floating-point arithmetic

Claude-Pierre Jeannerod , Nicolas Louvet , Jean-Michel Muller , Adrien Panhaleux

IEEE Transactions on Computers, 2011, 60 (2), pp.228-241. ⟨10.1109/TC.2010.144⟩

Article dans une revue ensl-00409366v3
Deposit thumbnail

Performing Arithmetic Operations on Round-to-Nearest Representations

Peter Kornerup , Jean-Michel Muller , Adrien Panhaleux

IEEE Transactions on Computers, 2011, 60 (2), pp.282-291. ⟨10.1109/TC.2010.134⟩

Article dans une revue ensl-00548988v2
Deposit thumbnail

Exact and Approximated error of the FMA

Sylvie Boldo , Jean-Michel Muller

IEEE Transactions on Computers, 2011, 60 (2), pp.157-164. ⟨10.1109/TC.2010.139⟩

Article dans une revue inria-00429617v1

Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic

Peter Kornerup , Christoph Lauter , Vincent Lefèvre , Nicolas Louvet , Jean-Michel Muller

ACM Transactions on Mathematical Software, 2010, 37 (1), pp.4:1-4:23. ⟨10.1145/1644001.1644005⟩

Article dans une revue inria-00388501v1
Deposit thumbnail

An Efficient Method for Evaluating Complex Polynomials

Milos Ercegovac , Jean-Michel Muller

Journal of Signal Processing Systems, 2010, 58 (1), pp.17-27. ⟨10.1007/s11265-008-0265-8⟩

Article dans une revue ensl-00446889v1
Deposit thumbnail

Guest Editors' Introduction: Special Section on Computer Arithmetic

Peter Kornerup , Paolo Montuschi , Jean-Michel Muller , Eric Schwarz

IEEE Transactions on Computers, 2009, 58 (2), pp.145-147

Article dans une revue ensl-00383561v1
Deposit thumbnail

Erreurs en arithmétique des ordinateurs

Vincent Lefèvre , Jean-Michel Muller

Images des mathématiques, 2009

Article dans une revue hal-00598554v1
Deposit thumbnail

Horner's Rule-Based Multiplication over Fp and Fp^n: A Survey

Jean-Michel Muller , Jean-Luc Beuchat , Takanori Miyoshi , Eiji Okamoto

International Journal of Electronics, 2008, 95 (7), pp.669-685

Article dans une revue ensl-00148210v1
Deposit thumbnail

Automatic Generation of Modular Multipliers for FPGA Applications

Jean-Michel Muller , Jean-Luc Beuchat

IEEE Transactions on Computers, 2008, 57 (12), pp.1600-1613. ⟨10.1109/TC.2008.102⟩

Article dans une revue ensl-00122716v3
Deposit thumbnail

Correct rounding of algebraic functions

Jean-Michel Muller , Nicolas Brisebarre

RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2007, 41 (1), pp.71-83. ⟨10.1051/ita:2007002⟩

Article dans une revue ensl-00143230v1
Deposit thumbnail

Fast and correctly rounded logarithms in double precision

Jean-Michel Muller , Florent de Dinechin , Christoph Lauter

RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2007, 41 (1), pp.85-102. ⟨10.1051/ita:2007003⟩

Article dans une revue ensl-00000007v2
Deposit thumbnail

Computing machine-efficient polynomial approximations

Jean-Michel Muller , Nicolas Brisebarre , Arnaud Tisserand

ACM Transactions on Mathematical Software, 2006, 32 (2), pp.236-256. ⟨10.1145/1141885.1141890⟩

Article dans une revue ensl-00086826v1
Deposit thumbnail

Hardware operators for function evaluation using sparse-coefficient polynomials

Jean-Michel Muller , Arnaud Tisserand , Serge Torres , Nicolas Brisebarre

Electronics Letters, 2006, 42 (25), pp.1441-1442. ⟨10.1049/el:20062373⟩

Article dans une revue lirmm-00125483v2
Deposit thumbnail

Choosing Starting Values for certain Newton-Raphson Iterations

Jean-Michel Muller , Peter Kornerup

Theoretical Computer Science, 2006, 351 (1), pp.101-110. ⟨10.1016/j.tcs.2005.09.056⟩

Article dans une revue ensl-00000009v1
Deposit thumbnail

Leading Guard Digits in Finite-Precision Redundant Representations

Jean-Michel Muller , Peter Kornerup

IEEE Transactions on Computers, 2006, 55 (5), pp.541-548. ⟨10.1109/TC.2006.79⟩

Article dans une revue ensl-00000001v1
Deposit thumbnail

High-Speed Function Approximation using a Minimax Quadratic Interpolator

Jean-Michel Muller , Stuart Oberman , Jose-Alejandro Pineiro , Javier Bruguera

IEEE Transactions on Computers, 2005, 54 (3), pp.304-318. ⟨10.1109/TC.2005.52⟩

Article dans une revue ensl-00000002v1
Deposit thumbnail

A new range-reduction algorithm

Jean-Michel Muller , Nicolas Brisebarre , Peter Kornerup , David Defour , Nathalie Revol

IEEE Transactions on Computers, 2005, 54 (3), pp.331- 339. ⟨10.1109/TC.2005.36⟩

Article dans une revue ensl-00086904v1

Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic

David Defour , Guillaume Hanrot , Vincent Lefèvre , Jean-Michel Muller , Nathalie Revol et al.

Numerical Algorithms, 2004, 37 (1-4), pp.367-375

Article dans une revue inria-00099967v1
Deposit thumbnail

Accelerating Correctly Rounded Floating-PointDivision when the Divisor is Known in Advance

Jean-Michel Muller , Nicolas Brisebarre , Saurabh Raina

IEEE Transactions on Computers, 2004, 53 (8), pp.1069- 1072. ⟨10.1109/TC.2004.37⟩

Article dans une revue ensl-00087465v1

Les leçons d’un algorithme délinquant

Jean-Michel Muller

Interstices, 2004

Article dans une revue hal-01350243v1
Deposit thumbnail

Nombre de solutions dans une binade de l'équation A^2+B^2=C^2+C

Jean-Michel Muller , Jean-Louis Nicolas , Xavier-François Roblot

L'Enseignement Mathématique , 2004, 50 (1-2), pp.147-182

Article dans une revue hal-00863116v1

On-the-Fly Range Reduction

Vincent Lefèvre , Jean-Michel Muller

Journal of Signal Processing Systems, 2003, Special Issue on Computer Arithmetic and Applications, 33 (1-2), pp.31-35. ⟨10.1023/A:1021137717282⟩

Article dans une revue istex inria-00099524v1
Deposit thumbnail

AIgorithmes de division pour microprocesseurs : illustration à l'aide du « Bug » du Pentium

Jean-Michel Muller

Technique et Science Informatiques, 1995, 14 (8), pp.1031-1049

Article dans une revue hal-04143937v1

A VLSI circuit for on-line polynomial computing: application to exponential, trigonometric and hyperbolic functions

A. Skaf , Jean-Claude Bajard , A. Guyot , Jean-Michel Muller

IFIP-Transactions-A-Computer-Science-and-Technology, 1994, A-42, pp.93-100

Article dans une revue hal-00014954v1
Deposit thumbnail

BKM: a new hardware algorithm for complex elementary functions

Jean-Michel Muller , Jean-Claude Bajard , Sylvanus Kla

IEEE Transactions on Computers, 1994, 43 (8), pp.955-963. ⟨10.1109/12.295857⟩

Article dans une revue ensl-00086894v1

A way to build efficient carry-skip adders

A. Guyot , B. Hochet , Jean-Michel Muller

IEEE Transactions on Computers, 1987, Oct. ; C-36(10), pp.1144-52

Article dans une revue hal-00014976v1

Parallel QR decomposition of a rectangular matrix

Michel Cosnard , Jean-Michel Muller , Yves Robert

Numerische Mathematik, 1986, 48, pp.239-249

Article dans une revue hal-00857127v1
Deposit thumbnail

Useful applications of correctly-rounded operators of the form ab + cd + e

Tom Hubrecht , Claude-Pierre Jeannerod , Jean-Michel Muller

2024 IEEE 31st Symposium on Computer Arithmetic (ARITH 2024), Jun 2024, Málaga, Spain

Communication dans un congrès hal-04461089v2
Deposit thumbnail

Testing The Sharpness of Known Error Bounds on The Fast Fourier Transform

Nicolas Brisebarre , Jean-Michel Muller , Joris Picot

30th IEEE International Symposium on Computer Arithmetic ARITH 2023, Sep 2023, Portland, Oregon, United States

Communication dans un congrès hal-04092770v2
Deposit thumbnail

Arithmétique des Ordinateurs

Jean-Michel Muller

Colloque Raisonner en arithmétique, est-ce incongru ?, Jun 2023, Talence (33), France

Communication dans un congrès hal-04207082v1
Deposit thumbnail

High-level algorithms for correctly-rounded reciprocal square roots

Carlos F. Borges , Claude-Pierre Jeannerod , Jean-Michel Muller

29th IEEE Symposium on Computer Arithmetic (ARITH 2022), Sep 2022, Lyon (virtual meeting due to the COVID pandemic), France

Communication dans un congrès hal-03728088v1
Deposit thumbnail

$a \cdot (x \cdot x)$ or $(a \cdot x) \cdot x$?

Jean-Michel Muller

ARITH 2021 - 28th IEEE Symposium on Computer Arithmetic, Jun 2021, Torino (virtual meeting due to the COVID Pandemic), Italy. ⟨10.1109/ARITH51176.2021.00015⟩

Communication dans un congrès hal-03129747v1
Deposit thumbnail

An Architecture for Improving Variable Radix Real and Complex Division Using Recurrence Division

James E Stine , Miloš D Ercegovac , Jean-Michel Muller

ACSSC 2020 - 54th Asilomar Conference on Signals, Systems, and Computers, Nov 2020, Pacific Grove, CA (virtual), United States. pp.1-5

Communication dans un congrès hal-03047208v1
Deposit thumbnail

Alternative Split Functions and Dekker's Product

Stef Graillat , Vincent Lefèvre , Jean-Michel Muller

ARITH-2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.1-7, ⟨10.1109/ARITH48897.2020.00015⟩

Communication dans un congrès hal-02470782v2
Deposit thumbnail

Algorithms for manipulating quaternions in floating-point arithmetic

Mioara Joldeş , Jean-Michel Muller

ARITH-2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.1-8, ⟨10.1109/ARITH48897.2020.00016⟩

Communication dans un congrès hal-02470766v2
Deposit thumbnail

Accurate Complex Multiplication in Floating-Point Arithmetic

Vincent Lefèvre , Jean-Michel Muller

ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-7

Communication dans un congrès hal-02001080v2
Deposit thumbnail

Semi-automatic implementation of the complementary error function

Anastasia Volkova , Jean-Michel Muller

ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-8

Communication dans un congrès hal-02002315v2
Deposit thumbnail

Posits: the good, the bad and the ugly

Florent de Dinechin , Luc Forget , Jean-Michel Muller , Yohann Uguen

CoNGA 2019 - Conference on Next-Generation Arithmetic, Mar 2019, Singapore, Singapore. pp.1-10, ⟨10.1145/3316279.3316285⟩

Communication dans un congrès hal-01959581v4
Deposit thumbnail

A High Throughput Polynomial and Rational Function Approximations Evaluator

Nicolas Brisebarre , George Constantinides , Miloš Ercegovac , Silviu-Ioan Filip , Matei Istoan et al.

ARITH 2018 - 25th IEEE Symposium on Computer Arithmetic, Jun 2018, Amherst, MA, United States. pp.99-106, ⟨10.1109/ARITH.2018.8464778⟩

Communication dans un congrès hal-01774364v1
Deposit thumbnail

On various ways to split a floating-point number

Claude-Pierre Jeannerod , Jean-Michel Muller , Paul Zimmermann

ARITH 2018 - 25th IEEE Symposium on Computer Arithmetic, Jun 2018, Amherst (MA), United States. pp.53-60, ⟨10.1109/ARITH.2018.8464793⟩

Communication dans un congrès hal-01774587v2
Deposit thumbnail

Formal correctness of comparison algorithms between binary64 and decimal64 floating-point numbers

Arthur Blot , Jean-Michel Muller , Laurent Théry

Numerical Software Verification, Jul 2017, Heidelberg, Germany

Communication dans un congrès hal-01512294v1
Deposit thumbnail

The Classical Relative Error Bounds for Computing $\sqrt(a^2 + b^2)$ and $c/\sqrt(a^2 + b^2)$ in Binary Floating-Point Arithmetic are Asymptotically Optimal

Claude-Pierre Jeannerod , Jean-Michel Muller , Antoine Plet

ARITH-24 2017 - 24th IEEE Symposium on Computer Arithmetic, Jul 2017, London, United Kingdom. pp.8

Communication dans un congrès ensl-01527202v1
Deposit thumbnail

On the relative error of computing complex square roots in floating-point arithmetic

Claude-Pierre Jeannerod , Jean-Michel Muller

ACSSC 2017 - 51st Asilomar Conference on Signals, Systems, and Computers, Oct 2017, Pacific Grove, United States. pp.737-740, ⟨10.1109/ACSSC.2017.8335442⟩

Communication dans un congrès ensl-01780265v1
Deposit thumbnail

Implementation and performance evaluation of an extended precision floating-point arithmetic library for high-accuracy semidefinite programming

Mioara Joldes , Jean-Michel Muller , Valentina Popescu

IEEE Symposium on Computer Arithmetic (Arith24), Jul 2017, London, United Kingdom

Communication dans un congrès hal-01491255v2
Deposit thumbnail

A new multiplication algorithm for extended precision using floating-point expansions

Jean-Michel Muller , Valentina Popescu , Ping Tak Peter Tang

ARITH23, Jul 2016, Santa Clara, United States

Communication dans un congrès hal-01298195v1
Deposit thumbnail

Computing floating-point logarithms with fixed-point operations

Julien Le Maire , Nicolas Brunie , Florent de Dinechin , Jean-Michel Muller

23rd IEEE Symposium on Computer Arithmetic, IEEE, Jul 2016, Santa Clara, United States

Communication dans un congrès hal-01227877v1
Deposit thumbnail

Parallel floating-point expansions for extended-precision GPU computations

Caroline Collange , Mioara Joldes , Jean-Michel Muller , Valentina Popescu

The 27th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP), Jul 2016, London, United Kingdom

Communication dans un congrès hal-01298206v2
Deposit thumbnail

On the computation of the reciprocal of floating point expansions using an adapted Newton-Raphson iteration

Mioara Joldes , Jean-Michel Muller , Valentina Popescu

25th IEEE International Conference on Application-specific Systems, Architectures and Processors, ASAP, Jun 2014, Zurich, Switzerland. pp.8

Communication dans un congrès hal-00957379v1
Deposit thumbnail

Avoiding double roundings in scaled Newton-Raphson division

Jean-Michel Muller

Asilomar Conference on Signals, Systems, and Computers, Nov 2013, Pacific Grove, CA, United States. 4 p

Communication dans un congrès ensl-00875366v1
Deposit thumbnail

Radix conversion for IEEE754-2008 mixed radix floating-point arithmetic

Olga Kupriianova , Christoph Lauter , Jean-Michel Muller

2013 Asilomar Conference on Signals, Systems and Computers , Nov 2013, Pacific Grove, CA, United States. pp.1134 - 1138, ⟨10.1109/ACSSC.2013.6810471⟩

Communication dans un congrès hal-01513505v1
Deposit thumbnail

Comparison between binary64 and decimal64 floating-point numbers

Nicolas Brisebarre , Marc Mezzarobba , Jean-Michel Muller , Christoph Lauter

21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, TX, United States. pp.145-152, ⟨10.1109/ARITH.2013.23⟩

Communication dans un congrès ensl-00737881v4
Deposit thumbnail

On the componentwise accuracy of complex floating-point division with an FMA

Claude-Pierre Jeannerod , Nicolas Louvet , Jean-Michel Muller

21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, TX, United States. pp.83--90

Communication dans un congrès ensl-00734339v2
Deposit thumbnail

(M,p,k)-friendly points: a table-based method for trigonometric function evaluation

Nicolas Brisebarre , Milos Ercegovac , Jean-Michel Muller

2012 IEEE 23rd International Conference on Application-Specific Systems, Architectures and Processors, Jul 2012, Delft, Netherlands. p. 46-52, ISBN: 978-1-4673-2243-0, ⟨10.1109/ASAP.2012.17⟩

Communication dans un congrès ensl-00759912v1
Deposit thumbnail

Rigorous Polynomial Approximation using Taylor Models in Coq

Nicolas Brisebarre , Mioara Maria Joldes , Érik Martin-Dorel , Micaela Mayero , Jean-Michel Muller et al.

Fourth NASA Formal Methods Symposium, NASA, Apr 2012, Norfolk, Virginia, United States. pp.15

Communication dans un congrès ensl-00653460v2

Exact computations with an arithmetic known to be approximate (invited talk)

Jean-Michel Muller

MaGiX@LiX 2011, Sep 2011, Palaiseau, France

Communication dans un congrès ensl-00789015v1
Deposit thumbnail

Augmented precision square roots, 2-D norms, and discussion on correctly rounding {x^2+y^2}

Nicolas Brisebarre , Mioara Maria Joldes , Peter Kornerup , Érik Martin-Dorel , Jean-Michel Muller

20th IEEE Symposium on Computer Arithmetic (ARITH-20), Jul 2011, Tübingen, Germany. pp.23-30, ⟨10.1109/ARITH.2011.13⟩

Communication dans un congrès ensl-00545591v2
Deposit thumbnail

An FPGA architecture for solving the Table Maker's Dilemma

Florent de Dinechin , Jean-Michel Muller , Bogdan Pasca , Alexandru Plesco

Application-Specific Systems, Architectures and Processors (ASAP), 2011 IEEE International Conference on, Sep 2011, Santa Monica, United States. pp.187-194, ⟨10.1109/ASAP.2011.6043267⟩

Communication dans un congrès ensl-00640063v1
Deposit thumbnail

Implementing decimal floating-point arithmetic through binary: some suggestions

Nicolas Brisebarre , Milos Ercegovac , Nicolas Louvet , Érik Martin-Dorel , Jean-Michel Muller et al.

21st IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2010), Jul 2010, Rennes, France. pp.317-320, ⟨10.1109/ASAP.2010.5540969⟩

Communication dans un congrès ensl-00463353v2
Deposit thumbnail

Newton-Raphson Algorithms for Floating-Point Division Using an FMA

Nicolas Louvet , Jean-Michel Muller , Adrien Panhaleux

21st IEEE International Conference on Application-specific Systems Architectures and Processors (ASAP), 2010, Jul 2010, Rennes, France. pp.200-207

Communication dans un congrès ensl-00549027v1

Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors

Christian Bertin , Claude-Pierre Jeannerod , Jingyan Jourdan-Lu , Hervé Knochel , Christophe Monat et al.

4th International Workshop on Parallel and Symbolic Computation (PASCO'10), Jul 2010, Grenoble, France. pp.1-9, ⟨10.1145/1837210.1837212⟩

Communication dans un congrès ensl-00549467v1
Deposit thumbnail

Design and Implementation of a Radix-4 Complex Division Unit with Prescaling

Pouya Dormiani , Milos Ercegovac , Jean-Michel Muller

20th IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'09), Jul 2009, Boston, United States

Communication dans un congrès ensl-00379147v2
Deposit thumbnail

Low Precision Table Based Complex Reciprocal Approximation

Jean-Michel Muller , Pouya Dormiani , Milos Ercegovac

43rd Asilomar Conference on signals, systems and computers, Nov 2009, Pacific Grove, California, United States

Communication dans un congrès ensl-00436329v2
Deposit thumbnail

On the Computation of Correctly-Rounded Sums

Peter Kornerup , Vincent Lefèvre , Nicolas Louvet , Jean-Michel Muller

19th IEEE Symposium on Computer Arithmetic - Arith'19, Jun 2009, Portland, Oregon, United States

Communication dans un congrès inria-00367584v2
Deposit thumbnail

Integer and Floating-Point Constant Multipliers for FPGAs

Nicolas Brisebarre , Florent de Dinechin , Jean-Michel Muller

International Conference on Application-Specific Systems, Architectures and Processors, 2008, IMEC, Jul 2008, Leuven, Belgium. pp.239-244, ⟨10.1109/ASAP.2008.4580184⟩

Communication dans un congrès ensl-00269219v1
Deposit thumbnail

An Efficient Method for Evaluating Polynomial and Rational Function Approximations

Nicolas Brisebarre , Sylvain Chevillard , Milos Ercegovac , Jean-Michel Muller , Serge Torres

ASAP 08, Jul 2008, Leuven, Belgium. pp.233-238, ⟨10.1109/ASAP.2008.4580185⟩

Communication dans un congrès hal-00761652v1
Deposit thumbnail

Complex Multiply-Add and Other Related Operators

Milos Ercegovac , Jean-Michel Muller

SPIE Conf. Advanced Signal Processing Algorithms, Architectures and Implementation XVII, 6697, SPIE, Aug 2007, San Diego, United States

Communication dans un congrès ensl-00167372v1
Deposit thumbnail

Generating function approximations at compile time

Jean-Michel Muller

40th Asilomar Conference on signals, systems and computers, USA, Oct 2006, Pacific Grove, California, France. pp.328-331

Communication dans un congrès ensl-00397749v1
Deposit thumbnail

Some Functions Computable with a Fused-mac

Sylvie Boldo , Jean-Michel Muller

17th IEEE Symposium on Computer Arithmetic, Jun 2005, Cape Cod, Massachusetts, USA, pp.52-58

Communication dans un congrès inria-00000895v1
Deposit thumbnail

Simple Seed Architectures for Reciprocal and Square-Root Reciprocal

Jean-Michel Muller , Arnaud Tisserand , Milos Ercegovac

39th Asilomar Conference on Signals, Systems and Computers, Oct 2005, Pacific Grove, California, United States. pp.1167-1171

Communication dans un congrès ensl-00087002v1
Deposit thumbnail

Correctly rounded multiplication by arbitrary precision constants

Jean-Michel Muller , Nicolas Brisebarre

ARITH'17, 17th IEEE Symposium on Computer Arithmetic, EEE Computer Society Technical Committee on VLSI, Jun 2005, Cape Cod, United States. ⟨10.1109/ARITH.2005.13⟩

Communication dans un congrès ensl-00000010v1
Deposit thumbnail

Complex Square Root with Operand Prescaling

Jean-Michel Muller , Milos Ercegovac

Application-Specific Systems, Architectures and Processors, 2004., Joseph Cavallaro and Lothar Thiele (general chairs), Sep 2004, Galveston, Texas, United States. pp.52-62, ⟨10.1109/ASAP.2004.1342458⟩

Communication dans un congrès ensl-00086852v1
Deposit thumbnail

Complex division with prescaling of operands

Jean-Michel Muller , Milos Ercegovac

Application-specific Systems, Architectures and Processors, 2003, Jun 2003, Delft, Netherlands

Communication dans un congrès ensl-00086896v1

Worst Cases for Correct Rounding of the Elementary Functions in Double Precision

Vincent Lefèvre , Jean-Michel Muller

15th IEEE Symposium on Computer Arithmetic - ARITH 2001, 2001, Vail, Colorado, pp.111-118

Communication dans un congrès inria-00100547v1
Deposit thumbnail

Some algebraic properties of floating-point arithmetic

Jean-Michel Muller

4th Real Numbers and Computers Conference, Apr 2000, Dagstuhl, Germany

Communication dans un congrès hal-04454523v1

Design of a VLSI circuit for on-line evaluation of several elementary functions using their Taylor expansions

Jean-Claude Bajard , A. Guyot , Jean-Michel Muller , A. Skaf

Proceedings.-International-Conference-on-Application-Specific-Array-Processors-Cat.-No.93TH0572-8. 1993:, 1993, Venice, Italy. pp.526-35, ⟨10.1109/ASAP.1993.397172⟩

Communication dans un congrès hal-00014928v1

JANUS, an on-line multiplier/divider for manipulating large numbers

A. Guyot , Yvan Herreros , Jean-Michel Muller

Proceedings-of-9th-Symposium-on-Computer-Arithmetic-Cat.-No.89CH2757-3., 1989, Santa Monica, CA, United States. pp.106-11, ⟨10.1109/ARITH.1989.72815⟩

Communication dans un congrès hal-00014975v1

SCALA: une cellule systolique programmable pour l'algèbre linéaire

Alain Guyot , Bertrand Hochet , Christophe Mauras , Jean-Michel Muller , Yves Robert

Deuxième Colloque C3, 1987, Unknown, pp.183-204

Communication dans un congrès hal-00857114v1

The FELIN arithmetic coprocessor chip

Michel Cosnard , A. Guyot , B. Hochet , Jean-Michel Muller , H. Ouaouicha et al.

Proceedings-of-the-8th-Symposium-on-Computer-Arithmetic-Cat.-No.87CH2419-0, 1987, Como, Italy. pp.107-12

Communication dans un congrès hal-00014979v1

On parallel and systolic Givens factorization of dense matrices

Michel Cosnard , El Mostafa Daoudi , Jean-Michel Muller , Yves Robert

Parallel Algorithms and architectures, 1986, Unknown, pp.245-258

Communication dans un congrès hal-00857131v1

Computation costs versus communication costs in parallel Gaussian elimination

Michel Cosnard , Jean-Michel Muller , Yves Robert , Denis Trystram

Parallel Algorithms and architectures, 1986, Unknown, pp.19-29

Communication dans un congrès hal-00857132v1
Deposit thumbnail

Arithmétique et Précision des Calculs sur Ordinateur

Jean-Michel Muller

De la mesure en toutes choses, CNRS Editions, 2021

Chapitre d'ouvrage hal-03461132v1

Evaluating Elementary Functions

Florent de Dinechin , Jean-Michel Muller

Nicholas Higham. Princeton Companion to Applied Mathematics, Princeton University Press, pp.2, 2014

Chapitre d'ouvrage ensl-00989001v1

Digital Arithmetic

Florent de Dinechin , Milos Ercegovac , Jean-Michel Muller , Nathalie Revol

Benjamin Wah. Wiley Encyclopedia of Computer Science and Engineering, Wiley, pp.935-948, 2009

Chapitre d'ouvrage ensl-00542215v1
Deposit thumbnail

Correctly rounded vector implementation of the exponential function in binary64 arithmetic

Nicolas Brisebarre , Tom Hubrecht , Christoph Lauter , Jean-Michel Muller , Kristalys Ruiz-Rohena

2026

Pré-publication, Document de travail hal-05529999v1
Deposit thumbnail

Extended-Precision FMA under Parameterized Double-Word Overlap: Tight Error Bounds and Examples

Claude-Pierre Jeannerod , Mioara Joldeş , Nicolas Louvet , Jean-Michel Muller

2026

Pré-publication, Document de travail hal-05517451v1
Deposit thumbnail

Emulation of 3Sum, 4Sum, the FMA and the FD2 instructions in rounded-to-nearest floating-point arithmetic

Stef Graillat , Jean-Michel Muller

2024

Pré-publication, Document de travail hal-04624238v1
Deposit thumbnail

Effective Quadratic Error Bounds for Floating-Point Algorithms Computing the Hypotenuse Function

Jean-Michel Muller , Bruno Salvy

2024

Pré-publication, Document de travail hal-04735408v1
Deposit thumbnail

A Library for Symbolic Floating-Point Arithmetic

Claude-Pierre Jeannerod , Nicolas Louvet , Jean-Michel Muller , Antoine Plet

2016

Pré-publication, Document de travail hal-01232159v2
Deposit thumbnail

Scaling Newton-Raphson division iterations to avoid double rounding

Jean-Michel Muller

2010

Pré-publication, Document de travail ensl-00496368v1
Deposit thumbnail

Performing Arithmetic Operations on Round-to-Nearest Representations

Adrien Panhaleux , Peter Kornerup , Jean-Michel Muller

2009

Pré-publication, Document de travail ensl-00441933v1
Deposit thumbnail

Représentation des nombres et calcul sur ordinateur

Jean-Michel Muller

2009

Pré-publication, Document de travail ensl-00391070v1
Deposit thumbnail

Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic

Jean-Michel Muller , Peter Kornerup , Christoph Lauter , Vincent Lefèvre , Nicolas Louvet

2008

Pré-publication, Document de travail ensl-00278430v1
Deposit thumbnail

Some notes on the possible under/overflow of the most common elementary functions

Jean-Michel Muller , Vincent Lefèvre

2007

Pré-publication, Document de travail ensl-00149414v1
Deposit thumbnail

Solving Systems of Linear Equations in Complex Domain : Complex E-Method

Milos Ercegovac , Jean-Michel Muller

2007

Pré-publication, Document de travail ensl-00125369v2
Deposit thumbnail

Computing Integer Powers in Floating-Point Arithmetic

Peter Kornerup , Vincent Lefèvre , Jean-Michel Muller

2007

Pré-publication, Document de travail ensl-00150406v1
Deposit thumbnail

Some arguments concerning correct rounding of the elementary functions

Jean-Michel Muller , Paul Zimmermann

2006

Pré-publication, Document de travail ensl-00086516v1
Deposit thumbnail

On the Computation of Correctly-Rounded Sums

Peter Kornerup , Vincent Lefèvre , Nicolas Louvet , Jean-Michel Muller

[Research Report] RR-7262, INRIA. 2010, pp.24

Rapport (rapport de recherche) inria-00475279v1
Deposit thumbnail

CR-LIBM A library of correctly rounded elementary functions in double-precision

Catherine Daramy-Loirat , David Defour , Florent de Dinechin , Matthieu Gallet , Nicolas Gast et al.

[Research Report] LIP,. 2006

Rapport (rapport de recherche) ensl-01529804v1
Deposit thumbnail

Multiplication Algorithms for Radix-$2$ RN-Codings and Two's Complement Numbers

Jean-Luc Beuchat , Jean-Michel Muller

[Research Report] RR-5511, LIP RR-2005-05, INRIA, LIP. 2005, pp.13

Rapport (rapport de recherche) inria-00070495v1
Deposit thumbnail

On the definition of ulp(x)

Jean-Michel Muller

[Research Report] RR-5504, LIP RR-2005-09, INRIA, LIP. 2005, pp.16

Rapport (rapport de recherche) inria-00070503v1
Deposit thumbnail

Fast and correctly rounded logarithms in double-precision

Florent de Dinechin , Christoph Lauter , Jean-Michel Muller

[Research Report] RR-5682, LIP RR-2005-37, INRIA, LIP. 2005, pp.15

Rapport (rapport de recherche) inria-00070331v1
Deposit thumbnail

Simple Seed Architectures for Reciprocal and Square Root Reciprocal

Milos Ercegovac , Jean-Michel Muller , Arnaud Tisserand

RR-5720, INRIA. 2005, pp.25

Rapport inria-00070298v1
Deposit thumbnail

Division by Constant for the ST100 DSP Microprocessor

Jean-Michel Muller , Arnaud Tisserand , Benoît de Dinechin , Christophe Monat

[Research Report] RR-5340, LIP RR-2004-45, INRIA, LIP. 2004, pp.14

Rapport (rapport de recherche) inria-00070661v1
Deposit thumbnail

RN-codes : algorithmes d'addition, de multiplication et d'élévation au carré

Jean-Michel Muller , Jean-Luc Beuchat

[Rapport de recherche] RR-5438, LIP RR-2004-60, INRIA, LIP. 2004, pp.17

Rapport (rapport de recherche) inria-00070569v1
Deposit thumbnail

Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic

David Defour , Guillaume Hanrot , Vincent Lefèvre , Jean-Michel Muller , Nathalie Revol et al.

[Research Report] RR-5406, INRIA. 2004

Rapport (rapport de recherche) inria-00071249v1
Deposit thumbnail

Correctly rounded multiplication by arbitrary precision constants

Nicolas Brisebarre , Jean-Michel Muller

[Research Report] RR-5354, LIP RR-2004-44, INRIA, LIP. 2004, pp.14

Rapport (rapport de recherche) inria-00070649v1
Deposit thumbnail

A floating-point library for integer processors

C. Bertin , Nicolas Brisebarre , Benoît de Dinechin , Claude-Pierre Jeannerod , C. Monat et al.

[Research Report] RR-5268, INRIA. 2004, pp.17

Rapport (rapport de recherche) inria-00070730v1
Deposit thumbnail

Complex Square Root with Operand Prescaling

Milos Ercegovac , Jean-Michel Muller

[Research Report] RR-5319, LIP RR-2004-42, INRIA, LIP. 2004, pp.18

Rapport (rapport de recherche) inria-00070681v1
Deposit thumbnail

Number of solutions to (A^2+B^2=C^2+C) in a binade

Jean-Michel Muller , Jean-Louis Nicolas , Xavier-François Roblot

[Research Report] RR-4945, LIP RR-2003-45, INRIA, LIPP. 2003

Rapport (rapport de recherche) inria-00071634v1
Deposit thumbnail

Opérateurs itératifs de multiplication-addition modulaire pour FPGA

Jean-Luc Beuchat , Jean-Michel Muller

[Rapport de recherche] RR-4937, LIP RR-2003-40, INRIA, LIP. 2003

Rapport (rapport de recherche) inria-00071642v1
Deposit thumbnail

Choosing Starting Values for Newton-Raphson Computation of Reciprocals, Square-Roots and Square-Root Reciprocals

Peter Kornerup , Jean-Michel Muller

[Research Report] RR-4687, LIP RR-2002-48, INRIA,LIP. 2003

Rapport (rapport de recherche) inria-00071899v1
Deposit thumbnail

Complex Division with Prescaling of Operands

Milos Ercegovac , Jean-Michel Muller

[Research Report] RR-4731, LIP RR 2003-10, INRIA, LIP. 2003

Rapport (rapport de recherche) inria-00071856v1
Deposit thumbnail

Finding the «truncated» polynomial that is closest to a function

Nicolas Brisebarre , Jean-Michel Muller

[Research Report] RR-4787, LIP RR-2003-21, INRIA, LIP. 2003

Rapport (rapport de recherche) inria-00071799v1
Deposit thumbnail

Accelerating Floating-Point Division When the Divisor is Known in Advance

Jean-Michel Muller

[Research Report] RR-4532, LIP RR-2002-30, INRIA, LIP. 2002

Rapport (rapport de recherche) inria-00072056v1
Deposit thumbnail

A new scheme for table-based evaluation of functions

David Defour , Florent de Dinechin , Jean-Michel Muller

[Research Report] RR-4637, LIP RR-2002-45, INRIA, LIP. 2002

Rapport (rapport de recherche) inria-00071948v1
Deposit thumbnail

«Partially rounded» Small-Order Approximations for Accurate, Hardware-Oriented, Table-Based Methods

Jean-Michel Muller

[Research Report] RR-4593, LIP RR-2002-39, INRIA, LIP. 2002

Rapport (rapport de recherche) inria-00071992v1
Deposit thumbnail

A New Range Reduction Algorithm

David Defour , Peter Kornerup , Jean-Michel Muller , Nathalie Revol

[Research Report] RR-4267, LIP RR-2001-33, INRIA, LIP. 2001

Rapport (rapport de recherche) inria-00072320v1
Deposit thumbnail

Correctly Rounded Exponential Function in Double Precision Arithmetic

David Defour , Florent de Dinechin , Jean-Michel Muller

[Research Report] RR-4231, INRIA. 2001

Rapport (rapport de recherche) inria-00072387v1
Deposit thumbnail

On-The-Fly Range Reduction

Vincent Lefèvre , Jean-Michel Muller

[Research Report] RR-4043, LIP RR-2000-34, INRIA, LIP. 2000

Rapport (rapport de recherche) inria-00072595v1
Deposit thumbnail

Bound on Run of Zeros and Ones for Images of Floating-Point Numbers by Algebraic Functions

Tomas Lang , Jean-Michel Muller

[Research Report] RR-4045, LIP RR-2000-33, INRIA, LIP. 2000

Rapport (rapport de recherche) inria-00072593v1
Deposit thumbnail

Worst Cases for Correct Rounding of the Elementary Functions in Double Precision

Vincent Lefèvre , Jean-Michel Muller

[Research Report] RR-4044, LIP RR-2000-35, INRIA,LIP. 2000

Rapport (rapport de recherche) inria-00072594v1
Deposit thumbnail

Improving Goldschmidt Division, Square Root and Square Root Reciprocal

Milos Ercegovac , Laurent Imbert , David Matula , Jean-Michel Muller , Guoheng Wei

[Research Report] RR-3753, LIP RR-1999-41, INRIA, LIP. 1999

Rapport (rapport de recherche) inria-00072909v1
Deposit thumbnail

Radix-10 BKM Algorithm for Computing Transcendentals on Pocket Computers

Laurent Imbert , Jean-Michel Muller , Fabien Rico

[Research Report] RR-3754, LIP RR-1999-43, INRIA, LIP. 1999

Rapport (rapport de recherche) inria-00072908v1
Deposit thumbnail

Vers des primitives propres en arithmétique des ordinateurs

Jean-Michel Muller

RR-3755, INRIA. 1999

Rapport inria-00072907v1
Deposit thumbnail

Une méthodologie du calcul des fonctions élémentaires

Jean-Michel Muller

Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1985. Français. ⟨NNT : ⟩

Thèse tel-00315301v1