Tom Hubrecht
PhD student at ENS Lyon
5
Documents
Affiliations actuelles
- Arithmétiques des ordinateurs, méthodes formelles, génération de code (ARIC)
- Laboratoire de l'Informatique du Parallélisme (LIP)
- École normale supérieure de Lyon (ENS de Lyon)
- Arithmétique des ordinateurs, calcul formel et vérification formelle (PASCALINE)
Identifiants chercheurs
Site web
Publications
Publications
|
|
An Exchange Algorithm for Optimizing both Approximation and Finite-Precision Evaluation Errors in Polynomial ApproximationsACM Transactions on Mathematical Software, In press, ⟨10.1145/3770066⟩ |
|
|
Activations in Low Precision with High Accuracy2024 |
|
|
Towards a correctly-rounded and fast power function in binary64 arithmetic2024 |
|
|
Useful applications of correctly-rounded operators of the form ab + cd + e2024 IEEE 31st Symposium on Computer Arithmetic (ARITH 2024), Jun 2024, Málaga, Spain |
|
|
Towards a correctly-rounded and fast power function in binary64 arithmetic2023 IEEE 30th Symposium on Computer Arithmetic (ARITH 2023), Sep 2023, Portland, Oregon (USA), United States |
Chargement...
Chargement...