2008 | ||
---|---|---|
36 | EE | Richard P. Brent, Pierrick Gaudry, Emmanuel Thomé, Paul Zimmermann: Faster Multiplication in GF(2)[x]. ANTS 2008: 153-166 |
35 | EE | Paul Zimmermann: Implementation of the reciprocal square root in MPFR. Numerical Validation in Current Hardware Architectures 2008 |
34 | EE | Vincent 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 | ||
33 | EE | Guillaume 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 |
32 | EE | Pierrick Gaudry, Alexander Kruppa, Paul Zimmermann: A gmp-based implementation of schönhage-strassen's large integer multiplication algorithm. ISSAC 2007: 167-174 |
31 | EE | Howard Cheng, Guillaume Hanrot, Emmanuel Thomé, Paul Zimmermann, Eugene V. Zima: Time-and space-efficient evaluation of some hypergeometric constants. ISSAC 2007: 85-91 |
30 | EE | Laurent 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) |
29 | EE | Richard P. Brent, Paul Zimmermann: A Multi-level Blocking Distinct Degree Factorization Algorithm CoRR abs/0710.4410: (2007) |
28 | EE | Howard 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 | ||
27 | EE | Paul Zimmermann, Bruce Dodson: 20 Years of ECM. ANTS 2006: 525-542 |
26 | EE | Vincent 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 | ||
25 | EE | Damien Stehlé, Paul Zimmermann: Gal's Accurate Tables Method Revisited. IEEE Symposium on Computer Arithmetic 2005: 257-264 |
24 | EE | Paul Zimmermann: Elliptic Curve Method. Encyclopedia of Cryptography and Security 2005 |
23 | EE | Damien 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) |
22 | EE | Norbert 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 | ||
21 | EE | Damien Stehlé, Paul Zimmermann: A Binary Recursive Gcd Algorithm. ANTS 2004: 411-425 |
20 | EE | Guillaume Hanrot, Michel Quercia, Paul Zimmermann: The Middle Product Algorithm I. Appl. Algebra Eng. Commun. Comput. 14(6): 415-438 (2004) |
19 | EE | Guillaume Hanrot, Paul Zimmermann: A long note on Mulders' short product. J. Symb. Comput. 37(3): 391-401 (2004) |
2003 | ||
18 | EE | Richard P. Brent, Paul Zimmermann: Random Number Generators with Period Divisible by a Mersenne Prime. ICCSA (1) 2003: 1-10 |
17 | EE | Damien 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 | ||
12 | EE | Stefania 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 |
11 | EE | John 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) | |
8 | EE | Alain Denise, Paul Zimmermann: Uniform Random Generation of Decomposable Structures Using Floating-Point Arithmetic. Theor. Comput. Sci. 218(2): 233-248 (1999) |
1995 | ||
7 | EE | Paul Zimmermann: Function composition and automatic average case analysis. Discrete Mathematics 139(1-3): 443-453 (1995) |
1994 | ||
6 | EE | Bruno 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 |