Revol, Nathalie (19..-.... ; chargée de recherche en informatique)
France
Date de naissance
19XX
Langues d'expression
français
anglais
Chargée de recherche INRIA en informatique, spécialisée en arithmétique informatique. Membre du Laboratoire de l'informatique du parallélisme (LIP) à l’ENS de Lyon (en 2024)
Thèmes de recherche : computer arithmetic, interval and multiple precision arithmetic, floating-point arithmetic: influence and choice of the computing precision, roundoff errors, verification of floating-point computations for linear and nonlinear problems, global optimization (interval arithmetic) and its parallelization
Auteur d'une thèse soutenue à l'INPG Grenoble (en 1994)
Thèmes de recherche : computer arithmetic, interval and multiple precision arithmetic, floating-point arithmetic: influence and choice of the computing precision, roundoff errors, verification of floating-point computations for linear and nonlinear problems, global optimization (interval arithmetic) and its parallelization
Auteur d'une thèse soutenue à l'INPG Grenoble (en 1994)
Disciplines liées à ses interventions
Mots-clés liés à ses interventions
Vidéos
Arithmétique et calcul
Revol
Nathalie
De l'origine du calcul, en commençant par différentes représentations des nombres au fil du temps et par les méthodes apprises à l'école pour les opérations arithmétiques, au calcul sur ordinateur,