Recherche

ensl-00000009v1 Article dans une revue
Jean-Michel Muller, Peter Kornerup. Choosing Starting Values for certain Newton-Raphson Iterations
Theoretical Computer Science, Elsevier, 2006, 351 (1), pp.101-110. <10.1016/j.tcs.2005.09.056>

inria-00071899v1 Rapport
Peter Kornerup, Jean-Michel Muller. Choosing Starting Values for Newton-Raphson Computation of Reciprocals, Square-Roots and Square-Root Reciprocals
RR-4687, INRIA. 2003

ensl-00000001v1 Article dans une revue
Jean-Michel Muller, Peter Kornerup. Leading Guard Digits in Finite-Precision Redundant Representations
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2006, 55 (5), pp.541-548. <10.1109/TC.2006.79>

ensl-00150406v1 Pré-publication, Document de travail
Peter Kornerup, Vincent Lefèvre, Jean-Michel Muller. Computing Integer Powers in Floating-Point Arithmetic
Rapport de recherche LIP n°2007-23. Laboratoire LIP : CNRS/ENS Lyon/INRIA/Université Lyon 1. 2007

ensl-00441933v1 Pré-publication, Document de travail
Adrien Panhaleux, Peter Kornerup, Jean-Michel Muller. Performing Arithmetic Operations on Round-to-Nearest Representations
Pre-print, 24 pages, submitted to IEEE Transactions on Computers. 2009

ensl-00548988v2 Article dans une revue
Peter Kornerup, Jean-Michel Muller, Adrien Panhaleux. Performing Arithmetic Operations on Round-to-Nearest Representations
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.282-291. <10.1109/TC.2010.134>

inria-00475279v1 Rapport
Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller. On the Computation of Correctly-Rounded Sums
[Research Report] RR-7262, INRIA. 2010, pp.24

inria-00072320v1 Rapport
David Defour, Peter Kornerup, Jean-Michel Muller, Nathalie Revol. A New Range Reduction Algorithm
[Research Report] RR-4267, INRIA. 2001

hal-00867040v5 Article dans une revue
Claude-Pierre Jeannerod, Peter Kornerup, Nicolas Louvet, Jean-Michel Muller. Error bounds on complex floating-point multiplication with an FMA
Mathematics of Computation, American Mathematical Society, 2017, 86 (304), pp. 881-898. <10.1090/mcom/3123>

inria-00367584v2 Communication dans un congrès
Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller. On the Computation of Correctly-Rounded Sums
19th IEEE Symposium on Computer Arithmetic - Arith'19, Jun 2009, Portland, Oregon, United States. 2009

ensl-00383561v1 Article dans une revue
Peter Kornerup, Paolo Montuschi, Jean-Michel Muller, Eric Schwarz. Guest Editors' Introduction: Special Section on Computer Arithmetic
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2009, 58 (2), pp.145-147

ensl-00331519v2 Article dans une revue
Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller. On the computation of correctly-rounded sums
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2012, 61 (3), p. 289-298. <10.1109/TC.2011.27>

ensl-00278430v1 Pré-publication, Document de travail
Jean-Michel Muller, Peter Kornerup, Christoph Lauter, Vincent Lefèvre, Nicolas Louvet. Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic
Rapport de recherche LIP n° 2008-15. 23 pages. 2008

inria-00388501v1 Article dans une revue
Peter Kornerup, Christoph Lauter, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller. Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2010, 37 (1), pp.4:1-4:23. <10.1145/1644001.1644005>

ensl-00545591v2 Communication dans un congrès
Nicolas Brisebarre, Mioara Maria Joldes, Peter Kornerup, Érik Martin-Dorel, Jean-Michel Muller. Augmented precision square roots, 2-D norms, and discussion on correctly rounding {x^2+y^2}
20th IEEE Symposium on Computer Arithmetic (ARITH-20), Jul 2011, Tübingen, Germany. IEEE Computer Society, pp.23-30, 2011, <10.1109/ARITH.2011.13>

ensl-00086904v1 Article dans une revue
Jean-Michel Muller, Nicolas Brisebarre, Peter Kornerup, David Defour, Nathalie Revol. A new range-reduction algorithm
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2005, 54 (3), pp.331- 339. <10.1109/TC.2005.36>

Type de document

Auteur

Domaine

Laboratoire

Langue

Type de dépôt

Année

Contact