Search - INRIA - Institut National de Recherche en Informatique et en Automatique

HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information

	1 2 3 4 5 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM
	hal-03141101v2 Preprints, Working Papers, ... Vincenzo Innocente, Paul Zimmermann. Accuracy of Mathematical Functions in Single, Double, Extended Double and Quadruple Precision 2022
	inria-00337537v1 Journal articles Siegfried Rump, Paul Zimmermann, Sylvie Boldo, Guillaume Melquiond. Computing predecessor and successor in rounding to nearest BIT Numerical Mathematics, Springer Verlag, 2009, 49 (2), pp.419-431. ⟨10.1007/s10543-009-0218-z⟩
	inria-00099723v1 Conference papers Richard Brent, Paul Zimmermann. Random number generators with period divisible by a Mersenne prime International Conference on Computational Science and its Applications - ICCSA'2003, 2003, Montreal, Canada, pp.1-10
	inria-00099117v1 Conference papers Stefania Cavallar, Bruce Dodson, Arjen K. Lenstra, Walter Lioen, Peter L. Montgomery et al. Factorization of a 512-bit RSA Modulus 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⟩
	inria-00107625v1 Conference papers Paul Zimmermann. Symbolic Computation: Recent Progress and New Frontiers International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), Sep 2002, none
	inria-00099116v1 Conference papers John Abbott, Victor Shoup, Paul Zimmermann. Factorization in Z[x]: the searching phase International Symposium on Symbolic and Algebraic Computation - ISSAC 2000, Aug 2000, St Andrews/United Kingdom, pp.1--7
	tel-00526731v1 Habilitation à diriger des recherches Paul Zimmermann. De l'algorithmique à l'arithmétique via le calcul formel Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2001
	inria-00072675v1 Reports Guillaume Hanrot, Michel Quercia, Paul Zimmermann. Speeding up the Division and Square Root of Power Series [Research Report] RR-3973, INRIA. 2000, pp.20
	inria-00100175v1 Conference papers Damien Stehlé, Paul Zimmermann. A Binary Recursive Gcd Algorithm 6th International Symposium on Algorithmic Number Theory - ANTS VI, 2004, Burligton, US, pp.411--425
	inria-00075542v1 Reports Jean-Claude Herve, François Morain, David Salesin, Bernard Paul Serpette, Jean Vuillemin et al. BigNum : un module portable et efficace pour une arithmetique a precision arbitraire [Rapport de recherche] RR-1016, INRIA. 1989
	hal-00917727v1 Journal articles Richard P. Brent, Samuli Larvala, Paul Zimmermann. A Primitive Trinomial of Degree 6972593 Mathematics of Computation, American Mathematical Society, 2005, 74 (250), pp.1001--1002
	hal-00917753v1 Conference papers Paul Zimmermann. *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)** Foundations of Computational Mathematics, 1999, Oxford, United Kingdom
	inria-00100147v1 Journal articles Guillaume Hanrot, Michel Quercia, Paul Zimmermann. The Middle Product Algorithm I. Speeding up the division and square root of power series Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 2004, 14 (6), pp.415-438
	inria-00337525v1 Journal articles Richard Brent, Paul Zimmermann. Ten new primitive binary trinomials Mathematics of Computation, American Mathematical Society, 2009, 78 (266), pp.1197-1199
	inria-00103655v1 Journal articles Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann. MPFR: A Multiple-Precision Binary Floating-Point Library with Correct Rounding. ACM Transactions on Mathematical Software, Association for Computing Machinery, 2007, 33 (2), pp.article 13. ⟨10.1145/1236463.1236468⟩
	hal-00917728v1 Conference papers Klaus Drescher, Paul Zimmermann. Gröbner bases in MuPAD: state and future Proceedings of the PoSSo workshop on software, Paris, 1995, Unknown, pp.177--182
	hal-00917734v1 Books Benno Fuchssteiner, Klaus Drescher, Andreas Kemper, Oliver Kluge, Karsten Morisse et al. MuPAD User's Manual Wiley Ltd., pp.572, 1996
	inria-00071477v1 Reports Vincent Lefèvre, Paul Zimmermann. Arithmétique flottante [Rapport de recherche] RR-5105, INRIA. 2004
	inria-00100980v1 Book sections Paul Zimmermann. The Elliptic Curve Method none. Encyclopedia of Information Security, Kluwer, 2002
	hal-00917752v1 Book sections Paul Zimmermann. Calcul formel : ce qu'il y a dans la boîte Nicole Berline and Claude Sabbah. Journées X-UPS 97, École Polytechnique, pp.47--62, 1997
	hal-00917750v1 Journal articles Paul Zimmermann. Wester's test suite in MuPAD 1.3 SAC Newsletter, SAC, 1996
	medihal-01346718v1 Videos Paul Zimmermann, Fanny Bastien. Paul Zimmermann - CADO-NFS 2016
	inria-00101044v1 Journal articles Yves Bertot, Nicolas Magaud, Paul Zimmermann. A Proof of GMP Square Root Journal of Automated Reasoning, Springer Verlag, 2002, 29 (3-4), pp.225--252. ⟨10.1023/A:1021987403425⟩
	inria-00000630v1 Book sections Paul Zimmermann. The Elliptic Curve Method van Tilborg, Henk C.A. Encyclopedia of Cryptography and Security, Springer, 2005
	inria-00099772v1 Reports Yan Gérard, Isabelle Debled-Rennesson, Paul Zimmermann. A fast and elementary algorithm for digital plane recognition [Intern report] A03-R-332 \|\| gerard03a, 2003, 16 p
	inria-00100978v1 Journal articles Harvey Dubner, Tony Forbes, Nik Lygeros, Michel Mizony, Harry Nelson et al. Ten Consecutive Primes In Arithmetic Progression Mathematics of Computation, American Mathematical Society, 2002, 71 (239), pp.1323-1328
	hal-00917735v1 Books Claude Gomez, Bruno Salvy, Paul Zimmermann. Calcul formel : mode d'emploi. Exemples en Maple Masson, 13, pp.328, 1995, Logique mathématiques informatique, 2-225-84780-0
	hal-00917730v1 Conference papers Philippe Flajolet, Paul Zimmermann, Bernard Van Cutsem. A Calculus of Random Generation Proceedings of the First European Symposium on Algorithms (ESA'93), 1993, Bad Honnef, Germany. pp.169-180, ⟨10.1007/3-540-57273-2_53⟩
	hal-00917751v1 Journal articles Paul Zimmermann. Calcul formel : l'embarras du choix Gazette des Mathématiciens, Société Mathématique de France, 1997, 73, pp.39--43
	hal-02863525v2 Conference papers Fabrice Boudot, Pierrick Gaudry, Aurore Guillevic, Nadia Heninger, Emmanuel Thomé et al. Comparing the difficulty of factorization and discrete logarithm: a 240-digit experiment Advances in Cryptology – CRYPTO 2020, Aug 2020, Santa Barbara CA, United States. pp.62-91, ⟨10.1007/978-3-030-56880-1_3⟩
	1 2 3 4 5 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize

Designed by Inria-IES Team : Hosted by HAL :