Le moteur de recherche
des thèses françaises
Paul Zimmermann
IdRefMots clés
FR |
EN
Arithmétique en virgule flottante
Arithmétique à virgule flottante
Erreurs d'arrondi
Factorisation
Arithmétique
Multiplication des entiers
Factorisation des entiers
Courbes elliptiques
Crible algébrique
Multiplication (arithmétique)
Cribles (mathématiques)
Standard IEEE 754
Arrondi correct
Dilemme du fabricant de tables
Algorithme SLZ
Technique de Coppersmith
Preuves formelles Coq
SSReflect
Lemme de Hensel
Certificats