HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

inria-00099723v1  Conference papers
Richard BrentPaul Zimmermann. Random number generators with period divisible by a Mersenne prime
International Conference on Computational Science and its Applications - ICCSA'2003, 2003, Montreal, Canada, pp.1-10
inria-00099117v1  Conference papers
Stefania CavallarBruce DodsonArjen K. LenstraWalter LioenPeter L. Montgomery et al.  Factorization of a 512-bit RSA Modulus
International Conference on the Theory and Application of Cryptographic Techniques - EUROCRYPT 2000, May 2000, Bruges, Belgium. pp.1-18, ⟨10.1007/3-540-45539-6_1⟩
inria-00107625v1  Conference papers
Paul Zimmermann. Symbolic Computation: Recent Progress and New Frontiers
International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), Sep 2002, none
inria-00099116v1  Conference papers
John AbbottVictor ShoupPaul Zimmermann. Factorization in Z[x]: the searching phase
International Symposium on Symbolic and Algebraic Computation - ISSAC 2000, Aug 2000, St Andrews/United Kingdom, pp.1--7
tel-00526731v1  Habilitation à diriger des recherches
Paul Zimmermann. De l'algorithmique à l'arithmétique via le calcul formel
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2001
inria-00100175v1  Conference papers
Damien StehléPaul Zimmermann. A Binary Recursive Gcd Algorithm
6th International Symposium on Algorithmic Number Theory - ANTS VI, 2004, Burligton, US, pp.411--425
hal-00917727v1  Journal articles
Richard P. BrentSamuli LarvalaPaul Zimmermann. A Primitive Trinomial of Degree 6972593
Mathematics of Computation, American Mathematical Society, 2005, 74 (250), pp.1001--1002
inria-00100147v1  Journal articles
Guillaume HanrotMichel QuerciaPaul 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-00337525v1  Journal articles
Richard BrentPaul Zimmermann. Ten new primitive binary trinomials
Mathematics of Computation, American Mathematical Society, 2009, 78 (266), pp.1197-1199
inria-00103655v1  Journal articles
Laurent FousseGuillaume HanrotVincent LefèvrePatrick PélissierPaul 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⟩
hal-00917728v1  Conference papers
Klaus DrescherPaul Zimmermann. Gröbner bases in MuPAD: state and future
Proceedings of the PoSSo workshop on software, Paris, 1995, Unknown, pp.177--182
inria-00071477v1  Reports
Vincent LefèvrePaul Zimmermann. Arithmétique flottante
[Rapport de recherche] RR-5105, INRIA. 2004
inria-00100980v1  Book sections
Paul Zimmermann. The Elliptic Curve Method
none. Encyclopedia of Information Security, Kluwer, 2002
hal-00917752v1  Book sections
Paul Zimmermann. Calcul formel : ce qu'il y a dans la boîte
Nicole Berline and Claude Sabbah. Journées X-UPS 97, École Polytechnique, pp.47--62, 1997
hal-00917750v1  Journal articles
Paul Zimmermann. Wester's test suite in MuPAD 1.3
SAC Newsletter, SAC, 1996
inria-00101044v1  Journal articles
Yves BertotNicolas MagaudPaul Zimmermann. A Proof of GMP Square Root
Journal of Automated Reasoning, Springer Verlag, 2002, 29 (3-4), pp.225--252. ⟨10.1023/A:1021987403425⟩
inria-00000630v1  Book sections
Paul Zimmermann. The Elliptic Curve Method
van Tilborg, Henk C.A. Encyclopedia of Cryptography and Security, Springer, 2005
inria-00100978v1  Journal articles
Harvey DubnerTony ForbesNik LygerosMichel MizonyHarry Nelson et al.  Ten Consecutive Primes In Arithmetic Progression
Mathematics of Computation, American Mathematical Society, 2002, 71 (239), pp.1323-1328
hal-00917735v1  Books
Claude GomezBruno SalvyPaul Zimmermann. Calcul formel : mode d'emploi. Exemples en Maple
Masson, 13, pp.328, 1995, Logique mathématiques informatique, 2-225-84780-0
hal-00917730v1  Conference papers
Philippe FlajoletPaul ZimmermannBernard Van Cutsem. A Calculus of Random Generation
Proceedings of the First European Symposium on Algorithms (ESA'93), 1993, Bad Honnef, Germany. pp.169-180, ⟨10.1007/3-540-57273-2_53⟩
hal-00917751v1  Journal articles
Paul Zimmermann. Calcul formel : l'embarras du choix
Gazette des Mathématiciens, Société Mathématique de France, 1997, 73, pp.39--43