2024
Pré-publication, Document de travail
- titre
- Note on the Veltkamp/Dekker Algorithms with Directed Roundings
- auteur
- Paul Zimmermann
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Accuracy of Mathematical Functions in Single, Double, Double Extended, and Quadruple Precision
- auteur
- Brian Gladman, Vincenzo Innocente, John Mather, Paul Zimmermann
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Towards a correctly-rounded and fast power function in binary64 arithmetic
- auteur
- Tom Hubrecht, Claude-Pierre Jeannerod, Paul Zimmermann, Laurence Rideau, Laurent Théry
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Correctly-rounded evaluation of a function: why, how, and at what cost?
- auteur
- Nicolas Brisebarre, Guillaume Hanrot, Jean-Michel Muller, Paul Zimmermann
- article
- 2024
- Accès au texte intégral et bibtex
-
2023
Communication dans un congrès
- titre
- Towards a correctly-rounded and fast power function in binary64 arithmetic
- auteur
- Tom Hubrecht, Claude-Pierre Jeannerod, Paul Zimmermann
- article
- 2023 IEEE 30th Symposium on Computer Arithmetic (ARITH 2023), Sep 2023, Portland, Oregon (USA), United States
- Accès au texte intégral et bibtex
-
- titre
- Deciphering Charles Quint (A diplomatic letter from 1547)
- auteur
- Cécile Pierrot, Camille Desenclos, Pierrick Gaudry, Paul Zimmermann
- article
- 6th International Conference on Historical Cryptology, HistoCrypt, Jun 2023, Munich, Germany. pp.148-158, ⟨10.3384/ecp195704⟩
- DOI
- DOI : 10.3384/ecp195704
- Accès au texte intégral et bibtex
-
Logiciel
- titre
- GNU MPFR
- auteur
- Guillaume Hanrot, Paul Zimmermann, Vincent Lefèvre, Patrick Pélissier, Philippe Théveny
- article
- 2023, ⟨swh:1:rel:b5e308c5dd459a81d8523e1dcb84c19dbc47b51b;origin=https://gitlab.inria.fr/mpfr/mpfr;visit=swh:1:snp:15595615280f9f91d107c1f4e9fa915fda0076dc⟩
- Accès au bibtex
-
Pré-publication, Document de travail
- titre
- Note on FastTwoSum with Directed Roundings
- auteur
- Paul Zimmermann
- article
- 2023
- Accès au texte intégral et bibtex
-
2022
Article dans une revue
- titre
- The State of the Art in Integer Factoring and Breaking Public-Key Cryptography
- auteur
- Fabrice Boudot, Pierrick Gaudry, Aurore Guillevic, Nadia Heninger, Emmanuel Thomé, Paul Zimmermann
- article
- IEEE Security and Privacy Magazine, 2022, 20 (2), pp.80-86. ⟨10.1109/MSEC.2022.3141918⟩
- DOI
- DOI : 10.1109/MSEC.2022.3141918
- Accès au texte intégral et bibtex
-
- titre
- Three Cousins of Recamán's Sequence
- auteur
- Max Alekseyev, Joseph Samuel Myers, Richard Schroeppel, Scott R Shannon, Neil James Alexander Sloane, Paul Zimmermann
- article
- The Fibonacci Quarterly, 2022, 60 (3), pp.201-219. ⟨10.48550/arXiv.2004.14000⟩
- DOI
- DOI : 10.48550/arXiv.2004.14000
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- The CORE-MATH Project
- auteur
- Alexei Sibidanov, Paul Zimmermann, Stéphane Glondu
- article
- ARITH 2022 - 29th IEEE Symposium on Computer Arithmetic, Sep 2022, virtual, France. pp.26-34, ⟨10.1109/ARITH54963.2022.00014⟩
- DOI
- DOI : 10.1109/ARITH54963.2022.00014
- Accès au texte intégral et bibtex
-
2021
Article dans une revue
- titre
- Parallel Structured Gaussian Elimination for the Number Field Sieve
- auteur
- Charles Bouillaguet, Paul Zimmermann
- article
- Mathematical Cryptology, 2021, 1, pp.22-39
- Accès au texte intégral et bibtex
-
2020
Article dans une revue
- titre
- A New Ranking Function for Polynomial Selection in the Number Field Sieve
- auteur
- Nicolas David, Paul Zimmermann
- article
- Contemporary mathematics, 2020, 75 Years of Mathematics of Computation, 754, pp.315-325. ⟨10.1090/CONM/754/15139⟩
- DOI
- DOI : 10.1090/CONM/754/15139
- Accès au texte intégral et bibtex
-
- titre
- Nouveaux records de factorisation et de calcul de logarithme discret
- auteur
- Fabrice Boudot, Pierrick Gaudry, Aurore Guillevic, Nadia Heninger, Emmanuel Thomé, Paul Zimmermann
- article
- Techniques de l'Ingénieur, 2020, pp.17
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Comparing the difficulty of factorization and discrete logarithm: a 240-digit experiment
- auteur
- Fabrice Boudot, Pierrick Gaudry, Aurore Guillevic, Nadia Heninger, Emmanuel Thomé, Paul Zimmermann
- article
- Advances in Cryptology – CRYPTO 2020, Aug 2020, Santa Barbara CA, United States. pp.62-91, ⟨10.1007/978-3-030-56880-1_3⟩
- DOI
- DOI : 10.1007/978-3-030-56880-1_3
- Accès au texte intégral et bibtex
-
2018
Article dans une revue
- titre
- Imperfect forward secrecy: How Diffie-Hellman fails in practice
- auteur
- David Adrian, Karthikeyan Bhargavan, Zakir Durumeric, Pierrick Gaudry, Matthew Green, J. Alex Halderman, Nadia Heninger, Drew Springall, Emmanuel Thomé, Luke Valenta, Benjamin Vandersloot, Eric Wustrow, Santiago Zanella-Béguelin, Paul Zimmermann
- article
- Communications of the ACM, 2018, 62 (1), pp.106-114. ⟨10.1145/3292035⟩
- DOI
- DOI : 10.1145/3292035
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- On various ways to split a floating-point number
- auteur
- Claude-Pierre Jeannerod, Jean-Michel Muller, Paul Zimmermann
- article
- ARITH 2018 - 25th IEEE Symposium on Computer Arithmetic, Jun 2018, Amherst (MA), United States. pp.53-60, ⟨10.1109/ARITH.2018.8464793⟩
- DOI
- DOI : 10.1109/ARITH.2018.8464793
- Accès au texte intégral et bibtex
-
Ouvrages
- titre
- Computational Mathematics with SageMath
- auteur
- Paul Zimmermann, Alexandre Casamayou, Nathann Cohen, Guillaume Connan, Thierry Dumont, Laurent Fousse, Francois Maltey, Matthias Meulien, Marc Mezzarobba, Clément Pernet, Nicolas M. Thiery, Erik Bray, John Cremona, Marcelo Forets, Alexandru Ghitza, Hugh Thomas
- article
- SIAM, 2018, 978-1-61197-545-1. ⟨10.1137/1.9781611975468⟩
- DOI
- DOI : 10.1137/1.9781611975468
- Accès au bibtex
-
2017
Communication dans un congrès
- titre
- Optimized Binary64 and Binary128 Arithmetic with GNU MPFR
- auteur
- Vincent Lefèvre, Paul Zimmermann
- article
- 24th IEEE Symposium on Computer Arithmetic (ARITH 24), Jul 2017, London, United Kingdom. pp.18-26, ⟨10.1109/ARITH.2017.28⟩
- DOI
- DOI : 10.1109/ARITH.2017.28
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- titre
- FFT extension for algebraic-group factorization algorithms
- auteur
- Richard P. Brent, Alexander Kruppa, Paul Zimmermann
- article
- Joppe W. Bos; Arjen K. Lenstra. Topics in Computational Number Theory Inspired by Peter L. Montgomery, Cambridge University Press, pp.189-205, 2017, 978-1-107-10935-3
- Accès au texte intégral et bibtex
-
2016
Article dans une revue
- titre
- Better polynomials for GNFS
- auteur
- Shi Bai, Cyril Bouvier, Alexander Kruppa, Paul Zimmermann
- article
- Mathematics of Computation, 2016, 85, pp.12. ⟨10.1090/mcom3048⟩
- DOI
- DOI : 10.1090/mcom3048
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- Twelve new primitive binary trinomials
- auteur
- Richard P Brent, Paul Zimmermann
- article
- 2016
- Accès au texte intégral et bibtex
-
- titre
- Factorisation of RSA-220 with CADO-NFS
- auteur
- Shi Bai, Pierrick Gaudry, Alexander Kruppa, Emmanuel Thomé, Paul Zimmermann
- article
- 2016
- Accès au texte intégral et bibtex
-
Vidéo
- titre
- Paul Zimmermann - CADO-NFS
- auteur
- Paul Zimmermann, Fanny Bastien
- article
- 2016
- Accès au texte intégral et bibtex
-
2015
Communication dans un congrès
- titre
- Imperfect Forward Secrecy: How Diffie-Hellman Fails in Practice
- auteur
- David Adrian, Karthikeyan Bhargavan, Zakir Durumeric, Pierrick Gaudry, Matthew Green, J. Alex Halderman, Nadia Heninger, Drew Springall, Emmanuel Thomé, Luke Valenta, Benjamin Vandersloot, Eric Wustrow, Santiago Zanella-Béguelin, Paul Zimmermann
- article
- CCS '15: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Oct 2015, Denver, Colorado, United States. pp.5-17, ⟨10.1145/2810103.2813707⟩
- DOI
- DOI : 10.1145/2810103.2813707
- Accès au texte intégral et bibtex
-
2014
Article dans une revue
- titre
- Division-Free Binary-to-Decimal Conversion
- auteur
- Cyril Bouvier, Paul Zimmermann
- article
- IEEE Transactions on Computers, 2014, 63 (8), pp.1895-1901. ⟨10.1109/TC.2014.2315621⟩
- DOI
- DOI : 10.1109/TC.2014.2315621
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Discrete logarithm in GF($2^{809}$) with FFS
- auteur
- Razvan Barbulescu, Cyril Bouvier, Jérémie Detrey, Pierrick Gaudry, Hamza Jeljeli, Emmanuel Thomé, Marion Videau, Paul Zimmermann
- article
- Public-Key Cryptography – PKC 2014, 2014, Buenos Aires, Argentina. ⟨10.1007/978-3-642-54631-0_13⟩
- DOI
- DOI : 10.1007/978-3-642-54631-0_13
- Accès au texte intégral et bibtex
-
2013
Article dans une revue
- titre
- Numerical Approximation of the Masser-Gramain Constant to Four Decimal Digits: delta=1.819...
- auteur
- Guillaume Melquiond, Werner Georg Nowak, Paul Zimmermann
- article
- Mathematics of Computation, 2013, 82, pp.1235-1246. ⟨10.1090/S0025-5718-2012-02635-4⟩
- DOI
- DOI : 10.1090/S0025-5718-2012-02635-4
- Accès au bibtex
-
Ouvrages
- titre
- Calcul mathématique avec Sage
- auteur
- Alexandre Casamayou, Nathann Cohen, Guillaume Connan, Thierry Dumont, Laurent Fousse, Francois Maltey, Matthias Meulien, Marc Mezzarobba, Clément Pernet, Nicolas M. Thiéry, Paul Zimmermann
- article
- CreateSpace, pp.468, 2013, 9781481191043
- Accès au texte intégral et bibtex
-
2012
Article dans une revue
- titre
- Non-Linear Polynomial Selection for the Number Field Sieve
- auteur
- Thomas Prest, Paul Zimmermann
- article
- Journal of Symbolic Computation, 2012, 47 (4), pp.401-409
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Finding Optimal Formulae for Bilinear Maps
- auteur
- Razvan Barbulescu, Jérémie Detrey, Nicolas Estibals, Paul Zimmermann
- article
- International Workshop of the Arithmetics of Finite Fields, Ruhr Universitat Bochum, Jul 2012, Bochum, Germany. ⟨10.1007/978-3-642-31662-3_12⟩
- DOI
- DOI : 10.1007/978-3-642-31662-3_12
- Accès au texte intégral et bibtex
-
Document associé à des manifestations scientifiques
- titre
- Finding Optimal Formulae for Bilinear Maps
- auteur
- Razvan Barbulescu, Jérémie Detrey, Nicolas Estibals, Paul Zimmermann
- article
- AriC Seminar, Mar 2012, Lyon, France
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- Factorisation of RSA-704 with CADO-NFS
- auteur
- Shi Bai, Emmanuel Thomé, Paul Zimmermann
- article
- 2012
- Accès au texte intégral et bibtex
-
- titre
- Size Optimization of Sextic Polynomials in the Number Field Sieve
- auteur
- Shi Bai, Paul Zimmermann
- article
- 2012
- Accès au texte intégral et bibtex
-
2011
Article dans une revue
- titre
- RSA : la fin des clés de 768 bits
- auteur
- Pierrick Gaudry, Emmanuel Thomé, Paul Zimmermann
- article
- Techniques de l'Ingénieur, 2011, IN131, ⟨10.51257/a-v1-in131⟩
- DOI
- DOI : 10.51257/a-v1-in131
- Accès au bibtex
-
- titre
- The Great Trinomial Hunt
- auteur
- Richard P. Brent, Paul Zimmermann
- article
- Notices of the American Mathematical Society, 2011, 58 (2), pp.233-239
- Accès au bibtex
-
Communication dans un congrès
- titre
- Ballot stuffing in a postal voting system
- auteur
- Véronique Cortier, Jérémie Detrey, Pierrick Gaudry, Frédéric Sur, Emmanuel Thomé, Mathieu Turuani, Paul Zimmermann
- article
- 2011 International Workshop on Requirements Engineering for Electronic Voting Systems (REVOTE 2011), 2011, Trento, Italy. pp.27 - 36, ⟨10.1109/REVOTE.2011.6045913⟩
- DOI
- DOI : 10.1109/REVOTE.2011.6045913
- Accès au texte intégral et bibtex
-
- titre
- Short Division of Long Integers
- auteur
- David Harvey, Paul Zimmermann
- article
- 20th IEEE Symposium on Computer Arithmetic (ARITH-20), Jul 2011, Tuebingen, Germany. pp.7-14, ⟨10.1109/ARITH.2011.11⟩
- DOI
- DOI : 10.1109/ARITH.2011.11
- Accès au bibtex
-
2010
Article dans une revue
- titre
- Why and How to Use Arbitrary Precision
- auteur
- Kaveh R. Ghazi, Vincent Lefèvre, Philippe Théveny, Paul Zimmermann
- article
- Computing in Science and Engineering, 2010, 12 (3), pp.62-65. ⟨10.1109/MCSE.2010.73⟩
- DOI
- DOI : 10.1109/MCSE.2010.73
- Accès au bibtex
-
Communication dans un congrès
- titre
- Factorization of a 768-bit RSA modulus
- auteur
- Thorsten Kleinjung, Kazumaro Aoki, Jens Franke, Arjen K. Lenstra, Emmanuel Thomé, Joppe W. Bos, Pierrick Gaudry, Alexander Kruppa, Peter L. Montgomery, Dag Arne Osvik, Herman Te Riele, Andrey Timofeev, Paul Zimmermann
- article
- Advances in Cryptology – CRYPTO 2010, Aug 2010, Santa Barbara, United States. pp.333-350, ⟨10.1007/978-3-642-14623-7_18⟩
- DOI
- DOI : 10.1007/978-3-642-14623-7_18
- Accès au texte intégral et bibtex
-
- titre
- An O(M(n) log n) algorithm for the Jacobi symbol
- auteur
- Richard P. Brent, Paul Zimmermann
- article
- 9th Algorithmic Number Theory Symposium - ANTS IX, Jul 2010, Nancy, France. pp.83-95, ⟨10.1007/978-3-642-14518-6_10⟩
- DOI
- DOI : 10.1007/978-3-642-14518-6_10
- Accès au bibtex
-
- titre
- Reliable Computing with GNU MPFR
- auteur
- Paul Zimmermann
- article
- Proceedings of the third International Congress on Mathematical Software (ICMS 2010), Sep 2010, Kobe, Japan. pp.42--45, ⟨10.1007/978-3-642-15582-6_8⟩
- DOI
- DOI : 10.1007/978-3-642-15582-6_8
- Accès au bibtex
-
Cours
- titre
- Modern Computer Arithmetic
- auteur
- Richard P Brent, Paul Zimmermann
- article
- Licence. France. 2010
- DOI
- DOI : 10.1017/CBO9780511921698
- Accès au texte intégral et bibtex
-
Ouvrages
- titre
- Modern Computer Arithmetic
- auteur
- Richard P. Brent, Paul Zimmermann
- article
- Cambridge University Press, 18, 221 p., 2010, Cambridge Monographs on Applied and Computational Mathematics, 978-0-521-19469-3
- Accès au bibtex
-
2009
Article dans une revue
- titre
- Ten new primitive binary trinomials
- auteur
- Richard P. Brent, Paul Zimmermann
- article
- Mathematics of Computation, 2009, 78 (266), pp.1197-1199
- Accès au bibtex
-
- titre
- Computing predecessor and successor in rounding to nearest
- auteur
- Siegfried Rump, Paul Zimmermann, Sylvie Boldo, Guillaume Melquiond
- article
- BIT Numerical Mathematics, 2009, 49 (2), pp.419-431. ⟨10.1007/s10543-009-0218-z⟩
- DOI
- DOI : 10.1007/s10543-009-0218-z
- Accès au texte intégral et bibtex
-
Ouvrages
- titre
- Calcul formel : mode d'emploi. Exemples en Maple
- auteur
- Philippe Dumas, Claude Gomez, Bruno Salvy, Paul Zimmermann
- article
- Sans, pp.326, 2009
- Accès au bibtex
-
2008
Article dans une revue
- titre
- Landau's function for one million billions
- auteur
- Marc Deléglise, Jean-Louis Nicolas, Paul Zimmermann
- article
- Journal de Théorie des Nombres de Bordeaux, 2008, 20 (3), pp.625-671. ⟨10.5802/jtnb.644⟩
- DOI
- DOI : 10.5802/jtnb.644
- Accès au texte intégral et bibtex
-
- titre
- A Multi-level Blocking Distinct Degree Factorization Algorithm
- auteur
- Richard P. Brent, Paul Zimmermann
- article
- Contemporary mathematics, 2008, Finite Fields and Applications, 461, pp.47-58
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Faster Multiplication in GF(2)[x]
- auteur
- Richard P. Brent, Pierrick Gaudry, Emmanuel Thomé, Paul Zimmermann
- article
- Algorithmic Number Theory – ANTS-VIII, May 2008, Banff, Canada. pp.153-166, ⟨10.1007/978-3-540-79456-1⟩
- DOI
- DOI : 10.1007/978-3-540-79456-1
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- titre
- Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format
- auteur
- Vincent Lefèvre, Damien Stehlé, Paul Zimmermann
- article
- P. Hertling; C.M. Hoffmann; W. Luther; N. Revol. Reliable Implementation of Real Number Algorithms: Theory and Practice, 5045, Springer, pp.114-126, 2008, Lecture Notes in Computer Science, 978-3-540-85521-7. ⟨10.1007/978-3-540-85521-7_7⟩
- DOI
- DOI : 10.1007/978-3-540-85521-7_7
- Accès au texte intégral et bibtex
-
2007
Article dans une revue
- titre
- MPFR: A Multiple-Precision Binary Floating-Point Library with Correct Rounding.
- auteur
- Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann
- article
- ACM Transactions on Mathematical Software, 2007, 33 (2), pp.article 13. ⟨10.1145/1236463.1236468⟩
- DOI
- DOI : 10.1145/1236463.1236468
- Accès au bibtex
-
- titre
- Error Bounds on Complex Floating-Point Multiplication
- auteur
- Richard P. Brent, Colin Percival, Paul Zimmermann
- article
- Mathematics of Computation, 2007, 76, pp.1469-1481
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Worst Cases of a Periodic Function for Large Arguments
- auteur
- Guillaume Hanrot, Vincent Lefèvre, Damien Stehlé, Paul Zimmermann
- article
- 18th IEEE Symposium in Computer Arithmetic, Jun 2007, Montpellier, France. pp.133-140, ⟨10.1109/ARITH.2007.37⟩
- DOI
- DOI : 10.1109/ARITH.2007.37
- Accès au texte intégral et bibtex
-
- titre
- Time- and Space-Efficient Evaluation of Some Hypergeometric Constants
- auteur
- Howard Cheng, Guillaume Hanrot, Emmanuel Thomé, Eugene Zima, Paul Zimmermann
- article
- ISSAC '07: Proceedings of the 2007 international symposium on Symbolic and algebraic computation, Association for Computing Machinery, Jul 2007, Waterloo, Canada. pp.85-91, ⟨10.1145/1277548.1277561⟩
- DOI
- DOI : 10.1145/1277548.1277561
- Accès au texte intégral et bibtex
-
- titre
- A Multi-level Blocking Distinct Degree Factorization Algorithm
- auteur
- Richard P. Brent, Paul Zimmermann
- article
- 8th International Conference on Finite Fields and Applications (Fq8), Jul 2007, Melbourne, Australia
- Accès au bibtex
-
- titre
- How Fast Can We Multiply Over GF(2)[x]?
- auteur
- Paul Zimmermann
- article
- Proceedings of Conference on Algorithmic Number Theory 2007, 2007, Turku, Finland. pp.165-170
- Accès au bibtex
-
- titre
- Arithmétique entière
- auteur
- Paul Zimmermann
- article
- Journées Nationales de Calcul Formel, 2007, Luminy, France
- Accès au texte intégral et bibtex
-
- titre
- A GMP-based implementation of Schönhage-Strassen's large integer multiplication algorithm
- auteur
- Pierrick Gaudry, Alexander Kruppa, Paul Zimmermann
- article
- ISSAC 2007, Jul 2007, Waterloo, Ontario, Canada. pp.167-174, ⟨10.1145/1277548.1277572⟩
- DOI
- DOI : 10.1145/1277548.1277572
- Accès au texte intégral et bibtex
-
Rapport
- titre
- Time- and Space-Efficient Evaluation of Some Hypergeometric Constants
- auteur
- Howard Cheng, Guillaume Hanrot, Emmanuel Thomé, Eugene Zima, Paul Zimmermann
- article
- [Research Report] RR-6105, INRIA. 2007
- Accès au texte intégral et bibtex
-
2006
Article dans une revue
- titre
- Errors Bounds on Complex Floating-Point Multiplication
- auteur
- Richard P. Brent, Colin Percival, Paul Zimmermann
- article
- Mathematics of Computation, 2006
- Accès au bibtex
-
Communication dans un congrès
- titre
- 20 years of ECM
- auteur
- Paul Zimmermann, Bruce Dodson
- article
- 7th Algorithmic Number Theory Symposium (ANTS VII), 2006, Berlin/Germany, Germany. pp.525--542
- Accès au texte intégral et bibtex
-
- titre
- Can we trust floating-point numbers?
- auteur
- Paul Zimmermann
- article
- ''Grand Challenges of Informatics'', An Academia Europaea Charles Simonyi John von Neumann Computer Society International Symposium, 2006, Budapest, Hungary
- Accès au bibtex
-
Ouvrages
- titre
- Proceedings of the 7th Conference on Real Numbers and Computers (RNC'7)
- auteur
- Guillaume Hanrot, Paul Zimmermann
- article
- Guillaume Hanrot, Paul Zimmermann. None., 151 p., 2006, 2-905267-50-X
- Accès au texte intégral et bibtex
-
Pré-publication, Document de travail
- titre
- Some arguments concerning correct rounding of the elementary functions
- auteur
- Jean-Michel Muller, Paul Zimmermann
- article
- 2006
- Accès au texte intégral et bibtex
-
2005
Article dans une revue
- titre
- MPFR : vers un calcul flottant correct ?
- auteur
- Paul Zimmermann
- article
- Interstices, 2005
- Accès au bibtex
-
- titre
- An elementary digital plane recognition algorithm
- auteur
- Yan Gérard, Isabelle Debled-Rennesson, Paul Zimmermann
- article
- Discrete Applied Mathematics, 2005, 151 (1-3), pp.169-183. ⟨10.1016/j.dam.2005.02.026⟩
- DOI
- DOI : 10.1016/j.dam.2005.02.026
- Accès au bibtex
-
- titre
- A Primitive Trinomial of Degree 6972593
- auteur
- Richard P. Brent, Samuli Larvala, Paul Zimmermann
- article
- Mathematics of Computation, 2005, 74 (250), pp.1001--1002
- Accès au bibtex
-
- titre
- Searching Worst Cases of a One-Variable Function Using Lattice Reduction
- auteur
- Damien Stehlé, Paul Zimmermann, Vincent Lefèvre
- article
- IEEE Transactions on Computers, 2005, 54 (3), pp.340-346. ⟨10.1109/TC.2005.55⟩
- DOI
- DOI : 10.1109/TC.2005.55
- Accès au bibtex
-
Communication dans un congrès
- titre
- Gal's Accurate Tables Method Revisited
- auteur
- Damien Stehlé, Paul Zimmermann
- article
- 17th IEEE Symposium on Computer Arithmetic - ARITH'17, 2005, Cape Cod/USA, pp.236-257, ⟨10.1109/ARITH.2005.24⟩
- DOI
- DOI : 10.1109/ARITH.2005.24
- Accès au bibtex
-
Chapitre d'ouvrage
- titre
- The Elliptic Curve Method
- auteur
- Paul Zimmermann
- article
- van Tilborg, Henk C.A. Encyclopedia of Cryptography and Security, Springer, 2005
- Accès au bibtex
-
Ouvrages
- titre
- Special issue on practical development of exact real number computation
- auteur
- Norbert Müller, Martin Escardo, Paul Zimmermann
- article
- Norbert Müller and Martin Escardo and Paul Zimmermann. Elsevier, pp.154, 2005
- Accès au bibtex
-
Rapport
- titre
- MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding
- auteur
- Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann
- article
- [Research Report] RR-5753, INRIA. 2005, pp.15
- Accès au texte intégral et bibtex
-
2004
Article dans une revue
- titre
- A long note on Mulders' short product
- auteur
- Guillaume Hanrot, Paul Zimmermann
- article
- Journal of Symbolic Computation, 2004, 37 (3), pp.391--401
- Accès au bibtex
-
- titre
- Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic
- auteur
- David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, Paul Zimmermann
- article
- Numerical Algorithms, 2004, 37 (1-4), pp.367-375
- Accès au bibtex
-
- titre
- Le « dilemme du fabricant de tables » ou comment calculer juste
- auteur
- Anita Castiel, Vincent Lefèvre, Paul Zimmermann
- article
- Interstices, 2004
- Accès au bibtex
-
- titre
- Efficient isolation of polynomial's real roots
- auteur
- Fabrice Rouillier, Paul Zimmermann
- article
- Journal of Computational and Applied Mathematics, 2004, 162 (1), pp.33-50. ⟨10.1016/j.cam.2003.08.015⟩
- DOI
- DOI : 10.1016/j.cam.2003.08.015
- Accès au bibtex
-
- titre
- The Middle Product Algorithm I. Speeding up the division and square root of power series
- auteur
- Guillaume Hanrot, Michel Quercia, Paul Zimmermann
- article
- Applicable Algebra in Engineering, Communication and Computing, 2004, 14 (6), pp.415-438
- Accès au bibtex
-
Communication dans un congrès
- titre
- A Binary Recursive Gcd Algorithm
- auteur
- Damien Stehlé, Paul Zimmermann
- article
- 6th International Symposium on Algorithmic Number Theory - ANTS VI, 2004, Burligton, US, pp.411--425
- Accès au bibtex
-
Rapport
- titre
- Gal's Accurate Tables Method Revisited
- auteur
- Damien Stehlé, Paul Zimmermann
- article
- [Research Report] RR-5359, INRIA. 2004, pp.23
- Accès au texte intégral et bibtex
-
- titre
- Arithmétique flottante
- auteur
- Vincent Lefèvre, Paul Zimmermann
- article
- [Rapport de recherche] RR-5105, INRIA. 2004
- Accès au texte intégral et bibtex
-
- titre
- Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic
- auteur
- David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, Paul Zimmermann
- article
- [Research Report] RR-5406, INRIA. 2004
- Accès au texte intégral et bibtex
-
2003
Article dans une revue
- titre
- $10^{2098959}$
- auteur
- Paul Zimmermann
- article
- La Gazette du CINES, 2003, 14
- Accès au bibtex
-
- titre
- A Fast Algorithm for Testing Reducibility of Trinomials mod 2 and Some New Primitive Trinomials of Degree 3021377
- auteur
- Richard P. Brent, Samuli Larvala, Paul Zimmermann
- article
- Mathematics of Computation, 2003, 72 (243), pp.1443-1452
- Accès au bibtex
-
- titre
- Density results on floating-point invertible numbers
- auteur
- Guillaume Hanrot, Joel Rivat, Gérald Tenenbaum, Paul Zimmermann
- article
- Theoretical Computer Science, 2003, 291 (2), pp.135-141. ⟨10.1016/S0304-3975(02)00222-0⟩
- DOI
- DOI : 10.1016/S0304-3975(02)00222-0
- Accès au bibtex
-
Communication dans un congrès
- titre
- Accurate Summation: Towards a Simpler and Formal Proof
- auteur
- Laurent Fousse, Paul Zimmermann
- article
- 5th Conference on Real Numbers and Computers 2003 - RNC5, 2003, Lyon, France, 11 p
- Accès au bibtex
-
- titre
- Random number generators with period divisible by a Mersenne prime
- auteur
- Richard P. Brent, Paul Zimmermann
- article
- International Conference on Computational Science and its Applications - ICCSA'2003, 2003, Montreal, Canada, pp.1-10
- Accès au bibtex
-
- titre
- Worst Cases and Lattice Reduction
- auteur
- Damien Stehlé, Vincent Lefèvre, Paul Zimmermann
- article
- 16th IEEE Symposium on Computer Arithmetic 2003 - ARITH-16'03, 2003, Santiago de Compostela, Espagne, pp.142-147
- Accès au bibtex
-
- titre
- Algorithms for finding almost irreducible and almost primitive trinomials
- auteur
- Richard P. Brent, Paul Zimmermann
- article
- Primes and Misdemeanours: Lectures in Honour of the Sixtieth Birthday of Hugh Cowie Williams, 2003, Banff, Canada, France
- Accès au bibtex
-
Rapport
- titre
- A fast and elementary algorithm for digital plane recognition
- auteur
- Yan Gérard, Isabelle Debled-Rennesson, Paul Zimmermann
- article
- [Intern report] A03-R-332 || gerard03a, 2003, 16 p
- Accès au bibtex
-
2002
Article dans une revue
- titre
- A Proof of GMP Square Root
- auteur
- Yves Bertot, Nicolas Magaud, Paul Zimmermann
- article
- Journal of Automated Reasoning, 2002, 29 (3-4), pp.225--252. ⟨10.1023/A:1021987403425⟩
- DOI
- DOI : 10.1023/A:1021987403425
- Accès au bibtex
-
- titre
- Ten Consecutive Primes In Arithmetic Progression
- auteur
- Harvey Dubner, Tony Forbes, Nik Lygeros, Michel Mizony, Harry Nelson, Paul Zimmermann
- article
- Mathematics of Computation, 2002, 71 (239), pp.1323-1328
- Accès au bibtex
-
- titre
- Aliquot Sequence 3630 Ends After Reaching 100 Digits
- auteur
- Manuel Benito, Wolfgang Creyaufmueller, Juan Luis Varona, Paul Zimmermann
- article
- Experimental Mathematics, 2002, 11 (2), pp.201-206
- Accès au bibtex
-
Communication dans un congrès
- titre
- Symbolic Computation: Recent Progress and New Frontiers
- auteur
- Paul Zimmermann
- article
- International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), Sep 2002, none
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- titre
- The Elliptic Curve Method
- auteur
- Paul Zimmermann
- article
- none. Encyclopedia of Information Security, Kluwer, 2002
- Accès au bibtex
-
Rapport
- titre
- The Middle Product Algorithm, I.
- auteur
- Guillaume Hanrot, Michel Quercia, Paul Zimmermann
- article
- [Research Report] RR-4664, INRIA. 2002
- Accès au texte intégral et bibtex
-
- titre
- A Binary Recursive Gcd Algorithm
- auteur
- Damien Stehlé, Paul Zimmermann
- article
- [Research Report] RR-5050, INRIA. 2002
- Accès au texte intégral et bibtex
-
- titre
- A long note on Mulders' short product
- auteur
- Guillaume Hanrot, Paul Zimmermann
- article
- [Research Report] RR-4654, INRIA. 2002
- Accès au texte intégral et bibtex
-
- titre
- Worst Cases and Lattice Reduction
- auteur
- Damien Stehlé, Vincent Lefèvre, Paul Zimmermann
- article
- [Research Report] RR-4586, INRIA. 2002
- Accès au texte intégral et bibtex
-
- titre
- A proof of GMP square root using the Coq assistant
- auteur
- Yves Bertot, Nicolas Magaud, Paul Zimmermann
- article
- [Research Report] RR-4475, INRIA. 2002
- Accès au texte intégral et bibtex
-
2001
Article dans une revue
- titre
- Arithmétique en précision arbitraire
- auteur
- Paul Zimmermann
- article
- Réseaux et systèmes répartis, calculateurs parallèles, 2001, 13 (4-5), 29 p
- Accès au bibtex
-
HDR
- titre
- De l'algorithmique à l'arithmétique via le calcul formel
- auteur
- Paul Zimmermann
- article
- Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2001
- Accès au texte intégral et bibtex
-
Rapport
- titre
- Tuning and Generalizing Van Hoeij's Algorithm
- auteur
- Karim Belabas, Guillaume Hanrot, Paul Zimmermann
- article
- [Research Report] RR-4124, INRIA. 2001
- Accès au texte intégral et bibtex
-
- titre
- Efficient Isolation of a Polynomial Real Roots
- auteur
- Fabrice Rouillier, Paul Zimmermann
- article
- [Research Report] RR-4113, INRIA. 2001
- Accès au texte intégral et bibtex
-
- titre
- Arithmétique en précision arbitraire
- auteur
- Paul Zimmermann
- article
- [Rapport de recherche] RR-4272, INRIA. 2001
- Accès au texte intégral et bibtex
-
2000
Communication dans un congrès
- titre
- Factorization in Z[x]: the searching phase
- auteur
- John Abbott, Victor Shoup, Paul Zimmermann
- article
- International Symposium on Symbolic and Algebraic Computation - ISSAC 2000, Aug 2000, St Andrews/United Kingdom, pp.1--7
- Accès au bibtex
-
- titre
- Factorization of a 512-bit RSA Modulus
- auteur
- Stefania Cavallar, Bruce Dodson, Arjen K. Lenstra, Walter Lioen, Peter L. Montgomery, Brian Murphy, Herman Te Riele, Karen Aardal, Jeff Gilchrist, Gérard Guillerm, Paul Leyland, Joël Marchand, François Morain, Alec Muffett, Chris Putnam, Craig Putnam, Paul Zimmermann
- article
- 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⟩
- DOI
- DOI : 10.1007/3-540-45539-6_1
- Accès au bibtex
-
Rapport
- titre
- Speeding up the inversion of power series
- auteur
- Guillaume Hanrot, Paul Zimmermann
- article
- [Intern report] A00-R-067 || hanrot00a, 2000, 8 p
- Accès au bibtex
-
- titre
- A proof of GMP fast division and square root implementations
- auteur
- Paul Zimmermann
- article
- [Intern report] A00-R-211 || zimmermann00a, 2000
- Accès au bibtex
-
- titre
- Speeding up the Division and Square Root of Power Series
- auteur
- Guillaume Hanrot, Michel Quercia, Paul Zimmermann
- article
- [Research Report] RR-3973, INRIA. 2000, pp.20
- Accès au texte intégral et bibtex
-
- titre
- A Fast Algorithm for Testing Irreducibility of Trinomials mod 2
- auteur
- Richard P. Brent, Samuli Larvala, Paul Zimmermann
- article
- [Intern report] A00-R-465 || brent00a, 2000, 13 p
- Accès au bibtex
-
1999
Article dans une revue
- titre
- On Sums of Seven Cubes
- auteur
- François Bertault, Olivier Ramaré, Paul Zimmermann
- article
- Mathematics of Computation, 1999, 68 (227), pp.1303-1310
- Accès au bibtex
-
- titre
- Uniform Random Generation of Decomposable Structures Using Floating-Point Arithmetic
- auteur
- Alain Denise, Paul Zimmermann
- article
- Theoretical Computer Science, 1999, 218 (2), pp.233-248. ⟨10.1016/S0304-3975(98)00323-5⟩
- DOI
- DOI : 10.1016/S0304-3975(98)00323-5
- Accès au bibtex
-
Communication dans un congrès
- titre
- Unranking of unlabelled decomposable structures
- auteur
- François Bertault, Paul Zimmermann
- article
- Troisième Conférence International sur les Ensembles Ordonnés, Algorithmes et Applications - Ordal'99, 1999, Montpellier/France, pp.12
- Accès au bibtex
-
- titre
- Factorization of RSA-140 using the Number Field Sieve
- auteur
- Stefania Cavallar, Bruce Dodson, Arjen-K. Lenstra, Paul Leyland, Walter M. Lioen, Peter L. Montgomery, Brian Murphy, Herman Te Riele, Paul Zimmermann
- article
- International Conference on the Theory and Applications of Cryptology and Information Security - ASIACRYPT'99, Nov 1999, Singapore, Singapore. pp.195-207, ⟨10.1007/b72231⟩
- DOI
- DOI : 10.1007/b72231
- Accès au bibtex
-
- titre
- GMP-ECM: yet another implementation of the Elliptic Curve Method (or how to find a 40-digit prime factor within 2 * 10^11 modular multiplications)
- auteur
- Paul Zimmermann
- article
- Foundations of Computational Mathematics, 1999, Oxford, United Kingdom
- Accès au bibtex
-
Chapitre d'ouvrage
- titre
- Solving Ordinary Differential Equations
- auteur
- Frank Postel, Paul Zimmermann
- article
- Michael Wester. Computer Algebra Systems: A Practical Guide, John Wiley & Sons Ltd, 1999
- Accès au bibtex
-
Rapport
- titre
- Karatsuba Square Root
- auteur
- Paul Zimmermann
- article
- [Research Report] RR-3805, INRIA. 1999, pp.8
- Accès au texte intégral et bibtex
-
1998
Article dans une revue
- titre
- CS: a MuPAD package for counting and randomly generating combinatorial structures
- auteur
- Alain Denise, Isabelle Dutour, Paul Zimmermann
- article
- MathPAD, 1998, 8, pp.23-30
- Accès au bibtex
-
Communication dans un congrès
- titre
- Sur la division euclidienne d'un nombre premier par son rang
- auteur
- Nik Lygeros, Michel Mizony, Paul Zimmermann
- article
- Journée de Mathématiques Effectives en l'honneur des 65 ans de René Ouzilou. Pré-Publication numéro 7 du Département de Mathématiques de l'Université Jean Monnet, 1998, Unknown
- Accès au bibtex
-
- titre
- CS: a MuPAD Package for Counting and Randomly Generating Combinatorial Structures
- auteur
- Alain Denise, Isabelle Dutour, Paul Zimmermann
- article
- 10-th conference Formal Power Series and Algebraic Combinatorics, 1998, Toronto, pp.195-204
- Accès au texte intégral et bibtex
-
Rapport
- titre
- Estimations asymptotiques du nombre de chemins Nord-Est de pente fixée et de largeur bornée
- auteur
- Isabelle Dutour, Laurent Habsieger, Paul Zimmermann
- article
- [Rapport de recherche] RR-3585, INRIA. 1998, pp.13
- Accès au texte intégral et bibtex
-
1997
Article dans une revue
- titre
- Calcul formel : l'embarras du choix
- auteur
- Paul Zimmermann
- article
- Gazette des Mathématiciens, 1997, 73, pp.39--43
- Accès au bibtex
-
Chapitre d'ouvrage
- titre
- Calcul formel : ce qu'il y a dans la boîte
- auteur
- Paul Zimmermann
- article
- Nicole Berline and Claude Sabbah. Journées X-UPS 97, École Polytechnique, pp.47--62, 1997
- Accès au bibtex
-
Rapport
- titre
- Cinq algorithmes de calcul symbolique
- auteur
- Paul Zimmermann
- article
- [Rapport de recherche] RT-0206, INRIA. 1997, pp.21
- Accès au texte intégral et bibtex
-
- titre
- Uniform Random Generation of Decomposable Structures Using Floating-Point Arithmetic
- auteur
- Alain Denise, Paul Zimmermann
- article
- [Research Report] RR-3242, INRIA. 1997
- Accès au texte intégral et bibtex
-
- titre
- Progress Report on Parallelism in MuPAD
- auteur
- Christian Heckler, Torsten Metzner, Paul Zimmermann
- article
- [Research Report] RR-3154, INRIA. 1997
- Accès au texte intégral et bibtex
-
1996
Article dans une revue
- titre
- Wester's test suite in MuPAD 1.3
- auteur
- Paul Zimmermann
- article
- SAC Newsletter, 1996, 1
- Accès au bibtex
-
Communication dans un congrès
- titre
- A review of the ODE solvers of Axiom, Derive, Maple, Mathematica, Macsyma, MuPAD and Reduce
- auteur
- Frank Postel, Paul Zimmermann
- article
- Proceedings of the 5th RHINE workshop on computer algebra, 1996, Saint-Louis, France. pp.2.1--2.10
- Accès au bibtex
-
Autre publication scientifique
- titre
- Polynomial Factorization Challenges
- auteur
- Paul Zimmermann, Laurent Bernardin, Michael Monagan
- article
- 1996
- Accès au bibtex
-
Ouvrages
- titre
- MuPAD User's Manual
- auteur
- Benno Fuchssteiner, Klaus Drescher, Andreas Kemper, Oliver Kluge, Karsten Morisse, Holger Naundorf, Gudrun Oevel, Frank Postel, Thorsten Schulze, Gerald Siek, Andreas Sorgatz, Waldemar Wiwianka, Paul Zimmermann
- article
- Wiley Ltd., pp.572, 1996
- Accès au bibtex
-
1995
Article dans une revue
- titre
- Wester's test suite in MuPAD 1.2.2
- auteur
- Paul Zimmermann
- article
- Computer Algebra Nederland Nieuwsbrief, 1995, 14, pp.53--64
- Accès au bibtex
-
Communication dans un congrès
- titre
- Gröbner bases in MuPAD: state and future
- auteur
- Klaus Drescher, Paul Zimmermann
- article
- Proceedings of the PoSSo workshop on software, Paris, 1995, Unknown, pp.177--182
- Accès au bibtex
-
Ouvrages
- titre
- Calcul formel : mode d'emploi. Exemples en Maple
- auteur
- Claude Gomez, Bruno Salvy, Paul Zimmermann
- article
- Masson, 13, pp.328, 1995, Logique mathématiques informatique, 2-225-84780-0
- Accès au bibtex
-
1994
Article dans une revue
- titre
- A Calculus for the Random Generation of Labelled Combinatorial Structures
- auteur
- Philippe Flajolet, Paul Zimmermann, Bernard Van Cutsem
- article
- Theoretical Computer Science, 1994, 132 (1-2), pp.1-35. ⟨10.1016/0304-3975(94)90226-7⟩
- DOI
- DOI : 10.1016/0304-3975(94)90226-7
- Accès au bibtex
-
- titre
- Gaïa: a package for the random generation of combinatorial structures
- auteur
- Paul Zimmermann
- article
- MapleTech, 1994, 1 (1), pp.38-46
- Accès au bibtex
-
1993
Communication dans un congrès
- titre
- A Calculus of Random Generation
- auteur
- Philippe Flajolet, Paul Zimmermann, Bernard Van Cutsem
- article
- Proceedings of the First European Symposium on Algorithms (ESA'93), 1993, Bad Honnef, Germany. pp.169-180, ⟨10.1007/3-540-57273-2_53⟩
- DOI
- DOI : 10.1007/3-540-57273-2_53
- Accès au bibtex
-
Rapport
- titre
- A Calculus for the random generation of combinatorial structures
- auteur
- Philippe Flajolet, Paul Zimmermann, B. van Custem
- article
- [Research Report] RR-1830, INRIA. 1993
- Accès au texte intégral et bibtex
-
- titre
- EPELLE : un logiciel de detection de fautes d'orthographe
- auteur
- Paul Zimmermann
- article
- [Rapport de recherche] RR-2030, INRIA. 1993
- Accès au texte intégral et bibtex
-
1992
Rapport
- titre
- GFUN : a maple package for the manipulation of generating and holonomic functions in one variable
- auteur
- Bruno Salvy, Paul Zimmermann
- article
- [Research Report] RT-0143, INRIA. 1992, pp.14
- Accès au texte intégral et bibtex
-
- titre
- Algorithms seminar, 1991-1992
- auteur
- Philippe Flajolet, Paul Zimmermann
- article
- [Research Report] RR-1779, INRIA. 1992
- Accès au texte intégral et bibtex
-
- titre
- Analysis of functions with a finite number of return values
- auteur
- Paul Zimmermann
- article
- [Research Report] RR-1625, INRIA. 1992
- Accès au texte intégral et bibtex
-
1991
Communication dans un congrès
- titre
- Average Case Analysis of Unification Algorithms
- auteur
- Luc Albert, Rafael Casas, François Fages, A. Torrecillas, Paul Zimmermann
- article
- Proceedings of STACS'91 - 8th Annual Symposium on Theoretical Aspects of Computer Science, 1991, Hamburg, Germany. pp.196-213, ⟨10.1007/BFb0020799⟩
- DOI
- DOI : 10.1007/BFb0020799
- Accès au bibtex
-
1990
Rapport
- titre
- Average case analysis of unification algorithms
- auteur
- Luc Albert, Rafaël Casas, Francois Fages, Paul Zimmermann
- article
- [Research Report] RR-1213, INRIA. 1990
- Accès au texte intégral et bibtex
-
- titre
- Automatic average-case analysis of algorithms
- auteur
- Philippe Flajolet, Paul Zimmermann, Bruno Salvy
- article
- [Research Report] RR-1233, INRIA. 1990
- Accès au texte intégral et bibtex
-
1989
Rapport
- titre
- BigNum : un module portable et efficace pour une arithmetique a precision arbitraire
- auteur
- Jean-Claude Herve, François Morain, David Salesin, Bernard Paul Serpette, Jean Vuillemin, Paul Zimmermann
- article
- [Rapport de recherche] RR-1016, INRIA. 1989
- Accès au texte intégral et bibtex
-
- titre
- The automatic complexity analysis of divide-and-conquer algorithms
- auteur
- Paul Zimmermann, Wolf Zimmermann
- article
- [Research Report] RR-1149, INRIA. 1989
- Accès au texte intégral et bibtex
-
- titre
- Lambda-Upsilon-Omega the 1989 cookbook
- auteur
- Philippe Flajolet, Paul Zimmermann, Bruno Salvy
- article
- [Research Report] RR-1073, INRIA. 1989
- Accès au texte intégral et bibtex
-
- titre
- ALAS : Un systeme d'analyse algebrique
- auteur
- Paul Zimmermann
- article
- [Rapport de recherche] RR-0968, INRIA. 1989
- Accès au texte intégral et bibtex
-
1988
Rapport
- titre
- Lambda-Upsilon-Omega : an assistant algorithms analyzer
- auteur
- Philippe Flajolet, Paul Zimmermann, Bruno Salvy
- article
- [Research Report] RR-0876, INRIA. 1988
- Accès au texte intégral et bibtex
-