Publications HAL de Paul,Zimmermann de la collection INRIA

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
https://inria.hal.science/hal-04480440/file/dekker.pdf 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
https://inria.hal.science/hal-03141101/file/accuracy.pdf 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
https://inria.hal.science/hal-04159652/file/pow.pdf 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
https://hal.science/hal-04474530/file/crsurvey.pdf 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
https://inria.hal.science/hal-04326201/file/power_function.pdf 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
https://hal.science/hal-04083014/file/Histocrypt_CharlesV%20%288%29.pdf 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
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
https://inria.hal.science/hal-03798376/file/fasttwosum.pdf 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
https://hal.science/hal-03691141/file/cryptography.pdf 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
https://inria.hal.science/hal-02951011/file/GorFQ_14.pdf 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
https://inria.hal.science/hal-03721525/file/core-math-final.pdf 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
https://inria.hal.science/hal-02098114/file/merge.pdf 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
https://inria.hal.science/hal-02151093/file/rootsieve-revised3.pdf 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
https://inria.hal.science/hal-03045666/file/ti.pdf 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
https://inria.hal.science/hal-02863525/file/paper.pdf 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
https://inria.hal.science/hal-01982426/file/p106-adrian.pdf 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
https://inria.hal.science/hal-01774587/file/split.pdf 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
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
https://inria.hal.science/hal-01502326/file/mpfr4.pdf 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
https://inria.hal.science/hal-01630907/file/Chap8.pdf 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
https://inria.hal.science/hal-01089507/file/sopt-20140905.pdf 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
https://inria.hal.science/hal-01378493/file/M49.pdf 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
https://inria.hal.science/hal-01315738/file/rsa220%20%281%29.pdf BibTex

Vidéo

titre
Paul Zimmermann - CADO-NFS
auteur
Paul Zimmermann, Fanny Bastien
article
2016
Accès au texte intégral et bibtex
https://hal.science/medihal-01346718/file/zimmermann_atelierPARIGP_14012016_hd.mp4 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
https://inria.hal.science/hal-01184171/file/logjam.pdf 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
https://inria.hal.science/hal-00864293/file/get_str.pdf 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
https://inria.hal.science/hal-00818124/file/ffs809.pdf 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
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
https://inria.hal.science/inria-00540485/file/sagebook-web-20130530.pdf 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
https://inria.hal.science/inria-00540483/file/polyselect.pdf 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
https://inria.hal.science/hal-00640165/file/bilinear.pdf 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
https://inria.hal.science/hal-01413162/file/talk.pdf 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
https://inria.hal.science/hal-00760322/file/369.pdf 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
https://inria.hal.science/hal-00760331/file/sopt.pdf 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
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
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
https://inria.hal.science/inria-00612418/file/stuffing.pdf 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
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
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
https://inria.hal.science/inria-00444693/file/rsa768.pdf 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
https://arxiv.org/pdf/1004.2091 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
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
https://cel.hal.science/cel-01500109/file/mca-cup-0.5.9.pdf 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
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
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
https://inria.hal.science/inria-00337537/file/RuZiBoMe08.pdf 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
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
https://hal.science/hal-00264057/file/dnz4.pdf 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
https://inria.hal.science/inria-00181029/file/RR-6331.pdf 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
https://inria.hal.science/inria-00188261/file/gf2x.pdf 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
https://inria.hal.science/inria-00068731/file/decimalexp-postprint.pdf 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
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
https://inria.hal.science/inria-00120352/file/squelette-rr.pdf 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
https://inria.hal.science/inria-00126474/file/RR-6106.pdf 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
https://inria.hal.science/inria-00177850/file/zeta3.pdf 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
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
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
https://inria.hal.science/hal-00917756/file/zimmermann.pdf 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
https://inria.hal.science/inria-00126462/file/fft.final.pdf 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
https://inria.hal.science/inria-00126428/file/RR-6105.pdf 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
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
https://inria.hal.science/inria-00070192/file/RR-5834.pdf 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
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
https://inria.hal.science/inria-00107213/file/rnc7-proceedings-1.pdf 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
https://ens-lyon.hal.science/ensl-00086516/file/correctrounding.pdf BibTex

2005

Article dans une revue

titre
MPFR : vers un calcul flottant correct ?
auteur
Paul Zimmermann
article
Interstices, 2005
Accès au bibtex
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
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
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
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
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
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
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
https://inria.hal.science/inria-00070266/file/RR-5753.pdf 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
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
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
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
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
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
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
https://inria.hal.science/inria-00070644/file/RR-5359.pdf 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
https://inria.hal.science/inria-00071477/file/RR-5105.pdf 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
https://inria.hal.science/inria-00071249/file/RR-5406.pdf BibTex

2003

Article dans une revue

titre
$10^{2098959}$
auteur
Paul Zimmermann
article
La Gazette du CINES, 2003, 14
Accès au bibtex
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
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
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
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
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
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
https://arxiv.org/pdf/2105.06013 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
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
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
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
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
https://inria.hal.science/inria-00107625/file/A02-R-488.pdf BibTex

Chapitre d'ouvrage

titre
The Elliptic Curve Method
auteur
Paul Zimmermann
article
none. Encyclopedia of Information Security, Kluwer, 2002
Accès au bibtex
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
https://inria.hal.science/inria-00071921/file/RR-4664.pdf 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
https://inria.hal.science/inria-00071533/file/RR-5050.pdf 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
https://inria.hal.science/inria-00071931/file/RR-4654.pdf 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
https://inria.hal.science/inria-00071999/file/RR-4586.pdf 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
https://inria.hal.science/inria-00072113/file/RR-4475.pdf 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
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
https://theses.hal.science/tel-00526731/file/hdr.pdf 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
https://inria.hal.science/inria-00072504/file/RR-4124.pdf 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
https://inria.hal.science/inria-00072518/file/RR-4113.pdf 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
https://inria.hal.science/inria-00072315/file/RR-4272.pdf 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
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
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
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
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
https://inria.hal.science/inria-00072675/file/RR-3973.pdf 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
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
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
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
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
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
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
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
https://inria.hal.science/inria-00072854/file/RR-3805.pdf 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
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
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
https://inria.hal.science/inria-00107518/file/98-R-055.pdf 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
https://inria.hal.science/inria-00073095/file/RR-3585.pdf 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
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
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
https://inria.hal.science/inria-00069965/file/RT-0206.pdf 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
https://inria.hal.science/inria-00073447/file/RR-3242.pdf 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
https://inria.hal.science/inria-00073535/file/RR-3154.pdf 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
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
BibTex

Autre publication scientifique

titre
Polynomial Factorization Challenges
auteur
Paul Zimmermann, Laurent Bernardin, Michael Monagan
article
1996
Accès au bibtex
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
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
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
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
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
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
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
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
https://inria.hal.science/inria-00074842/file/RR-1830.pdf 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
https://inria.hal.science/inria-00074641/file/RR-2030.pdf 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
https://inria.hal.science/inria-00070025/file/RT-0143.pdf 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
https://inria.hal.science/inria-00077019/file/RR-1779.pdf 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
https://inria.hal.science/inria-00074936/file/RR-1625.pdf 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
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
https://inria.hal.science/inria-00075345/file/RR-1213.pdf 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
https://inria.hal.science/inria-00077102/file/RR-1233.pdf 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
https://inria.hal.science/inria-00075542/file/RR-1016.pdf 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
https://inria.hal.science/inria-00075410/file/RR-1149.pdf 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
https://inria.hal.science/inria-00075486/file/RR-1073.pdf 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
https://inria.hal.science/inria-00075591/file/RR-0968.pdf 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
https://inria.hal.science/inria-00075678/file/RR-0876.pdf BibTex