John Harrison
IdRefMots clés
FR |
EN
Arithmétique à virgule flottante
Standard IEEE 754
Arrondi correct
Dilemme du fabricant de tables
Algorithme SLZ
Technique de Coppersmith
Preuves formelles Coq
SSReflect
Lemme de Hensel
Certificats
Racines entières
Approximation polynomiale rigoureuse
Modèles de Taylor
Arithmétique par intervalles
Reste de Taylor-Lagrange
Fonctions D-finies
Racine carrée
Norme 2D
Midpoints
TwoMultFMA