Researcher identifiers

  • IdHAL : paul-zimmermann
Number of documents

12

Paul Zimmermann


Paul Zimmermann


Vincent Lefèvre   

Journal articles4 documents

  • Kaveh Ghazi, Vincent Lefèvre, Philippe Théveny, Paul Zimmermann. Why and How to Use Arbitrary Precision. Computing in Science and Engineering, Institute of Electrical and Electronics Engineers, 2010, 12 (3), pp.62-65. ⟨10.1109/MCSE.2010.73⟩. ⟨inria-00543927⟩
  • Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann. MPFR: A Multiple-Precision Binary Floating-Point Library with Correct Rounding.. ACM Transactions on Mathematical Software, Association for Computing Machinery, 2007, 33 (2), pp.article 13. ⟨10.1145/1236463.1236468⟩. ⟨inria-00103655⟩
  • Damien Stehlé, Paul Zimmermann, Vincent Lefèvre. Searching Worst Cases of a One-Variable Function Using Lattice Reduction. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2005, 54 (3), pp.340-346. ⟨10.1109/TC.2005.55⟩. ⟨inria-00000379⟩
  • David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, et al.. Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic. Numerical Algorithms, Springer Verlag, 2004, 37 (1-4), pp.367-375. ⟨inria-00099967⟩

Conference papers3 documents

  • Vincent Lefèvre, Paul Zimmermann. Optimized Binary64 and Binary128 Arithmetic with GNU MPFR. 24th IEEE Symposium on Computer Arithmetic (ARITH 24), Jul 2017, London, United Kingdom. pp.18-26, ⟨10.1109/ARITH.2017.28⟩. ⟨hal-01502326⟩
  • Guillaume Hanrot, Vincent Lefèvre, Damien Stehlé, Paul Zimmermann. Worst Cases of a Periodic Function for Large Arguments. 18th IEEE Symposium in Computer Arithmetic, Jun 2007, Montpellier, France. pp.133-140, ⟨10.1109/ARITH.2007.37⟩. ⟨inria-00126474v2⟩
  • Damien Stehlé, Vincent Lefèvre, Paul Zimmermann. Worst Cases and Lattice Reduction. 16th IEEE Symposium on Computer Arithmetic 2003 - ARITH-16'03, 2003, Santiago de Compostela, Espagne, pp.142-147. ⟨inria-00099572⟩

Book sections1 document

Reports4 documents

  • Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann. MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding. [Research Report] RR-5753, INRIA. 2005, pp.15. ⟨inria-00070266⟩
  • David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, et al.. Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic. [Research Report] RR-5406, INRIA. 2004. ⟨inria-00071249⟩
  • Vincent Lefèvre, Paul Zimmermann. Arithmétique flottante. [Rapport de recherche] RR-5105, INRIA. 2004. ⟨inria-00071477⟩
  • Damien Stehlé, Vincent Lefèvre, Paul Zimmermann. Worst Cases and Lattice Reduction. [Research Report] RR-4586, INRIA. 2002. ⟨inria-00071999⟩