Keywords

Researcher identifiers

  • IdHAL : paul-zimmermann
Number of documents

16

Paul Zimmermann


Paul Zimmermann


"Guillaume Hanrot"   

Journal articles5 documents

  • 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⟩
  • Guillaume Hanrot, Michel Quercia, Paul Zimmermann. The Middle Product Algorithm I. Speeding up the division and square root of power series. Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 2004, 14 (6), pp.415-438. ⟨inria-00100147⟩
  • 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⟩
  • Guillaume Hanrot, Paul Zimmermann. A long note on Mulders' short product. Journal of Symbolic Computation, Elsevier, 2004, 37 (3), pp.391--401. ⟨inria-00100069⟩
  • Guillaume Hanrot, Joel Rivat, Gérald Tenenbaum, Paul Zimmermann. Density results on floating-point invertible numbers. Theoretical Computer Science, Elsevier, 2003, 291 (2), pp.135-141. ⟨inria-00099510⟩

Conference papers2 documents

  • 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⟩
  • Howard Cheng, Guillaume Hanrot, Emmanuel Thomé, Eugene Zima, Paul Zimmermann. Time- and Space-Efficient Evaluation of Some Hypergeometric Constants. International Symposium on Symbolic and Algebraic Computation - ISSAC'07, Association for Computing Machinery, Jul 2007, Waterloo, Canada. pp.85-91, ⟨10.1145/1277548.1277561⟩. ⟨inria-00177850⟩

Directions of work or proceedings1 document

  • Guillaume Hanrot, Paul Zimmermann. Proceedings of the 7th Conference on Real Numbers and Computers (RNC'7). Guillaume Hanrot, Paul Zimmermann. None., 151 p., 2006, 2-905267-50-X. ⟨inria-00107213⟩

Reports8 documents

  • Howard Cheng, Guillaume Hanrot, Emmanuel Thomé, Eugene Zima, Paul Zimmermann. Time- and Space-Efficient Evaluation of Some Hypergeometric Constants. [Research Report] RR-6105, INRIA. 2007. ⟨inria-00126428v2⟩
  • 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⟩
  • Guillaume Hanrot, Paul Zimmermann. A long note on Mulders' short product. [Research Report] RR-4654, INRIA. 2002. ⟨inria-00071931⟩
  • Guillaume Hanrot, Michel Quercia, Paul Zimmermann. The Middle Product Algorithm, I.. [Research Report] RR-4664, INRIA. 2002. ⟨inria-00071921⟩
  • Karim Belabas, Guillaume Hanrot, Paul Zimmermann. Tuning and Generalizing Van Hoeij's Algorithm. [Research Report] RR-4124, INRIA. 2001. ⟨inria-00072504⟩
  • Guillaume Hanrot, Michel Quercia, Paul Zimmermann. Speeding up the Division and Square Root of Power Series. [Research Report] RR-3973, INRIA. 2000, pp.20. ⟨inria-00072675⟩
  • Guillaume Hanrot, Paul Zimmermann. Speeding up the inversion of power series. [Intern report] A00-R-067 || hanrot00a, 2000, 8 p. ⟨inria-00099294⟩