dblp.uni-trier.dewww.uni-trier.de

Paul Zimmermann Vis

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

*2008
36EERichard P. Brent, Pierrick Gaudry, Emmanuel Thomé, Paul Zimmermann: Faster Multiplication in GF(2)[x]. ANTS 2008: 153-166
35EEPaul Zimmermann: Implementation of the reciprocal square root in MPFR. Numerical Validation in Current Hardware Architectures 2008
34EEVincent Lefèvre, Damien Stehlé, Paul Zimmermann: Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format. Reliable Implementation of Real Number Algorithms 2008: 114-126
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
10EEStefania 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
4EEPhilippe Flajolet, Paul Zimmermann, Bernard Van Cutsem: A Calculus of Random Generation. ESA 1993: 169-180
1991
3EELuc 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
1EEPhilippe 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] [36]
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] [36]
20Jeff Gilchrist [12]
21Gérard Guillerm [12]
22Guillaume Hanrot [15] [19] [20] [28] [30] [31] [33]
23Alexander Kruppa [32]
24Samuli Larvala [16]
25Vincent Lefèvre [17] [23] [26] [30] [33] [34]
26Arjen K. Lenstra [10] [12]
27Paul C. Leyland [10] [12]
28Walter M. Lioen [10] [12]
29Nik Lygeros [13]
30Nicolas Magaud [14]
31Joël Marchand [12]
32Michel Mizony [13]
33Peter L. Montgomery [10] [12]
34François Morain [12]
35Alec Muffett [12]
36Norbert Th. Müller [22]
37Brian Murphy [10] [12]
38Harry Nelson [13]
39Patrick Pélissier [30]
40Chris Putnam [12]
41Craig Putnam [12]
42Michel Quercia [20]
43Olivier Ramaré [9]
44Herman te Riele [10] [12]
45Joël Rivat [15]
46Bruno Salvy [1] [2] [6]
47Victor Shoup [11]
48Damien Stehlé [17] [21] [23] [25] [26] [33] [34]
49G. Tenenbaum [15]
50Emmanuel Thomé [28] [31] [36]
51A. Torrecillas [3]
52Eugene V. Zima [28] [31]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)