@phdthesis{defour:tel-00006022, TITLE = {{Fonctions {\'e}l{\'e}mentaires : algorithmes et impl{\'e}mentations efficaces pour l'arrondi correct en double pr{\'e}cision}}, AUTHOR = {Defour, David}, URL = {https://theses.hal.science/tel-00006022}, SCHOOL = {{Ecole normale sup{\'e}rieure de lyon - ENS LYON}}, YEAR = {2003}, MONTH = Sep, KEYWORDS = {computer arithmetic ; floating point arithmetic ; elementary functions ; correct rounding ; arithm{\'e}tique des ordinateurs ; virgule flottante ; fonctions {\'e}l{\'e}mentaires ; arrondi correct ; multipr{\'e}cision}, TYPE = {Theses}, PDF = {https://theses.hal.science/tel-00006022/file/tel-00006022.pdf}, HAL_ID = {tel-00006022}, HAL_VERSION = {v1}, }