Zimmermann, Paul, 1964-....
Zimmermann, Paul
Paul Zimmermann
VIAF ID: 2355154076026811860008 ( Personal )
Permalink: http://viaf.org/viaf/2355154076026811860008
Preferred Forms
- 100 0 _ ‡a Paul Zimmermann
- 200 _ | ‡a Zimmermann ‡b Paul ‡f 1964-....
-
-
- 100 1 _ ‡a Zimmermann, Paul
- 100 1 _ ‡a Zimmermann, Paul ‡d 1964-
- 100 1 _ ‡a Zimmermann, Paul, ‡d 1964-
-
-
- 100 1 _ ‡a Zimmermann, Paul, ‡d 1964-....
4xx's: Alternate Name Forms (15)
5xx's: Related Names (2)
- 510 2 _ ‡a Institut National de Recherche en Informatique et en Automatique ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 511 2 _ ‡a Laboratoire lorrain de recherche en informatique et ses applications
Works
Title | Sources |
---|---|
Alas : un système d'analyse algébrique | |
Algorithmes pour la factorisation d'entiers et le calcul de logarithme discret | |
Algorithmique de la réduction de réseaux et application à la recherche de pires cas pour l'arrondi de fonctions mathématiques | |
Algorithms for integer factorization and discrete logarithms computation. | |
Améliorations de la multiplication et de la factorisation d'entier | |
BigNum : un module portable et efficace pour une arithmétique à précision arbitraire | |
Building a formally verified high-performance multi-platform cryptographic library in F*. | |
Calcul formel mode d'emploi exemples en Maple | |
Calcul formel pour les applications : utilisation du systeme MAPLE | |
Calcul mathematique avec sage | |
Computational mathematics with SageMath | |
Construction d'une bibliothèque cryptographique multi-plateformes formellement vérifiée à haute performance en F* | |
Contributions to the Formal Verification of Arithmetic Algorithms. | |
Développement et vérification de bibliothèques d'arithmétique entière en précision arbitraire. | |
Formalisations d'analyses d'erreurs en analyse numérique et en arithmétique à virgule flottante | |
Formalizations of error analysis in numerical analysis and floating-point arithmetic. | |
GENERATING FUNCTIONS AND AUTOMATIC COMPLEXITY ANALYSIS OF ALGORITHMS. | |
Gesammelte Aufsätze über Buchkunst und Buchdruck, Doppeldrucke, Faustbuch und Faustsage, sowie über neue Handschriften von Tischreden Luthers und Dicta Melanchtonis | |
Intégration numérique avec erreur bornée en précision arbitraire | |
Investigations in Computer-Aided Mathematics : Experimentation, Computation, and Certification | |
Lambda-upsilon-omega : the 1989 cookbook | |
Lattice reduction algorithms and application to the search of worst cases for the rounding of mathematical functions. | |
Modern computer arithmetic, 2011: | |
Multiple-precision numerical quadrature with bounded error. | |
RNC7 proceedings of the 7th Conference on real numbers and computers, Nancy France, July 10-12, 2006 | |
SERIES GENERATRICES ET ANALYSE AUTOMATIQUE D'ALGORITHMES | |
Speeding up integer multiplication and factorization. | |
Sposób pracy pieców regeneracyjnych, zwłaszcza hutniczych pieców topielnych : opis patentowy : nr 14153 : kl. 18 b 14 | |
Stochastic models for the evaluation of numerical errors |