Paul Zimmermann

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
35EERichard P. Brent, Sutherland Pierrick Gaudry, Emmanuel Thomé, Paul Zimmermann: Faster Multiplication in GF(2)[x]. ANTS 2008: 153-166
34EEPaul Zimmermann: Implementation of the reciprocal square root in MPFR. Numerical Validation in Current Hardware Architectures 2008
2007
33EEGuillaume Hanrot, Vincent Lefèvre, Damien Stehlé, Paul Zimmermann: Worst Cases of a Periodic Function for Large Arguments. IEEE Symposium on Computer Arithmetic 2007: 133-140
32EEPierrick Gaudry, Alexander Kruppa, Paul Zimmermann: A gmp-based implementation of schönhage-strassen's large integer multiplication algorithm. ISSAC 2007: 167-174
31EEHoward Cheng, Guillaume Hanrot, Emmanuel Thomé, Paul Zimmermann, Eugene V. Zima: Time-and space-efficient evaluation of some hypergeometric constants. ISSAC 2007: 85-91
30EELaurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann: MPFR: A multiple-precision binary floating-point library with correct rounding. ACM Trans. Math. Softw. 33(2): 13 (2007)
29EERichard P. Brent, Paul Zimmermann: A Multi-level Blocking Distinct Degree Factorization Algorithm CoRR abs/0710.4410: (2007)
28EEHoward Cheng, Guillaume Hanrot, Emmanuel Thomé, Eugene V. Zima, Paul Zimmermann: Time- and Space-Efficient Evaluation of Some Hypergeometric Constants CoRR abs/cs/0701151: (2007)
2006
27EEPaul Zimmermann, Bruce Dodson: 20 Years of ECM. ANTS 2006: 525-542
26EEVincent Lefèvre, Damien Stehlé, Paul Zimmermann: Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format. Reliable Implementation of Real Number Algorithms 2006
2005
25EEDamien Stehlé, Paul Zimmermann: Gal's Accurate Tables Method Revisited. IEEE Symposium on Computer Arithmetic 2005: 257-264
24EEPaul Zimmermann: Elliptic Curve Method. Encyclopedia of Cryptography and Security 2005
23EEDamien Stehlé, Vincent Lefèvre, Paul Zimmermann: Searching Worst Cases of a One-Variable Function Using Lattice Reduction. IEEE Trans. Computers 54(3): 340-346 (2005)
22EENorbert Th. Müller, Martín Hötzel Escardó, Paul Zimmermann: Guest editors' introduction: Special issue on practical development of exact real number computation. J. Log. Algebr. Program. 64(1): 1-2 (2005)
2004
21EEDamien Stehlé, Paul Zimmermann: A Binary Recursive Gcd Algorithm. ANTS 2004: 411-425
20EEGuillaume Hanrot, Michel Quercia, Paul Zimmermann: The Middle Product Algorithm I. Appl. Algebra Eng. Commun. Comput. 14(6): 415-438 (2004)
19EEGuillaume Hanrot, Paul Zimmermann: A long note on Mulders' short product. J. Symb. Comput. 37(3): 391-401 (2004)
2003
18EERichard P. Brent, Paul Zimmermann: Random Number Generators with Period Divisible by a Mersenne Prime. ICCSA (1) 2003: 1-10
17EEDamien Stehlé, Vincent Lefèvre, Paul Zimmermann: Worst Cases and Lattice Reduction. IEEE Symposium on Computer Arithmetic 2003: 142-147
16 Richard P. Brent, Samuli Larvala, Paul Zimmermann: A fast algorithm for testing reducibility of trinomials mod~2 and some new primitive trinomials of degree 3021377. Math. Comput. 72(243): 1443-1452 (2003)
15 Guillaume Hanrot, Joël Rivat, G. Tenenbaum, Paul Zimmermann: Density results on floating-point invertible numbers. Theor. Comput. Sci. 291(2): 135-141 (2003)
2002
14 Yves Bertot, Nicolas Magaud, Paul Zimmermann: A Proof of GMP Square Root. J. Autom. Reasoning 29(3-4): 225-252 (2002)
13 Harvey Dubner, Tony Forbes, Nik Lygeros, Michel Mizony, Harry Nelson, Paul Zimmermann: Ten consecutive primes in arithmetic progression. Math. Comput. 71(239): 1323-1328 (2002)
2000
12EEStefania Cavallar, Bruce Dodson, Arjen K. Lenstra, Walter M. Lioen, Peter L. Montgomery, Brian Murphy, Herman te Riele, Karen Aardal, Jeff Gilchrist, Gérard Guillerm, Paul C. Leyland, Joël Marchand, François Morain, Alec Muffett, Chris Putnam, Craig Putnam, Paul Zimmermann: Factorization of a 512-Bit RSA Modulus. EUROCRYPT 2000: 1-18
11EEJohn Abbott, Victor Shoup, Paul Zimmermann: Factorization in ***[x]: the searching phase. ISSAC 2000: 1-7
1999
10 Stefania Cavallar, Bruce Dodson, Arjen K. Lenstra, Paul C. Leyland, Walter M. Lioen, Peter L. Montgomery, Brian Murphy, Herman te Riele, Paul Zimmermann: Factorization of RSA-140 Using the Number Field Sieve. ASIACRYPT 1999: 195-207
9 François Bertault, Olivier Ramaré, Paul Zimmermann: On sums of seven cubes. Math. Comput. 68(227): 1303-1310 (1999)
8EEAlain Denise, Paul Zimmermann: Uniform Random Generation of Decomposable Structures Using Floating-Point Arithmetic. Theor. Comput. Sci. 218(2): 233-248 (1999)
1995
7EEPaul Zimmermann: Function composition and automatic average case analysis. Discrete Mathematics 139(1-3): 443-453 (1995)
1994
6EEBruno Salvy, Paul Zimmermann: GFUN: a Maple package for the manipulation of generating and holonomic functions in one variable. ACM Trans. Math. Softw. 20(2): 163-177 (1994)
5 Philippe Flajolet, Paul Zimmermann, Bernard Van Cutsem: A Calculus for the Random Generation of Labelled Combinatorial Structures. Theor. Comput. Sci. 132(2): 1-35 (1994)
1993
4 Philippe Flajolet, Paul Zimmermann, Bernard Van Cutsem: A Calculus of Random Generation. ESA 1993: 169-180
1991
3 Luc Albert, Rafael Casas, François Fages, A. Torrecillas, Paul Zimmermann: Average Case Analysis of Unification Algorithms. STACS 1991: 196-213
2 Philippe Flajolet, Bruno Salvy, Paul Zimmermann: Automatic Average-Case Analysis of Algorithm. Theor. Comput. Sci. 79(1): 37-109 (1991)
1988
1 Philippe Flajolet, Bruno Salvy, Paul Zimmermann: Lambda - Upsilon - Omega: An Assistant Algorithms Analyzer. AAECC 1988: 201-212

Coauthor Index

1Karen Aardal [12]
2John Abbott [11]
3Luc Albert [3]
4François Bertault [9]
5Yves Bertot [14]
6Richard P. Brent [16] [18] [29] [35]
7Rafael Casas [3]
8Stefania Cavallar [10] [12]
9Howard Cheng [28] [31]
10Bernard Van Cutsem [4] [5]
11Alain Denise [8]
12Bruce Dodson [10] [12] [27]
13Harvey Dubner [13]
14Martín Hötzel Escardó [22]
15François Fages [3]
16Philippe Flajolet [1] [2] [4] [5]
17Tony Forbes [13]
18Laurent Fousse [30]
19Pierrick Gaudry [32]
20Sutherland Pierrick Gaudry [35]
21Jeff Gilchrist [12]
22Gérard Guillerm [12]
23Guillaume Hanrot [15] [19] [20] [28] [30] [31] [33]
24Alexander Kruppa [32]
25Samuli Larvala [16]
26Vincent Lefèvre [17] [23] [26] [30] [33]
27Arjen K. Lenstra [10] [12]
28Paul C. Leyland [10] [12]
29Walter M. Lioen [10] [12]
30Nik Lygeros [13]
31Nicolas Magaud [14]
32Joël Marchand [12]
33Michel Mizony [13]
34Peter L. Montgomery [10] [12]
35François Morain [12]
36Alec Muffett [12]
37Norbert Th. Müller [22]
38Brian Murphy [10] [12]
39Harry Nelson [13]
40Patrick Pélissier [30]
41Chris Putnam [12]
42Craig Putnam [12]
43Michel Quercia [20]
44Olivier Ramaré [9]
45Herman te Riele [10] [12]
46Joël Rivat [15]
47Bruno Salvy [1] [2] [6]
48Victor Shoup [11]
49Damien Stehlé [17] [21] [23] [25] [26] [33]
50G. Tenenbaum [15]
51Emmanuel Thomé [28] [31] [35]
52A. Torrecillas [3]
53Eugene V. Zima [28] [31]

Colors in the list of coauthors

Copyright © Wed Jul 23 13:04:14 2008 by Michael Ley (ley@uni-trier.de)