Valérie Ménissier-Morain

Conception et algorithmique d'une représentation arithmétique réelle en précision arbitraire

Résumé: Nous décrivons dans cet article une représentation des nombres réels calculables et l'ensemble des algorithmes de calcul des fonctions élémentaires associés. Cette arithmétique est la première arithmétique réelle dont les algorithmes soient prouvés mathématiquement corrects.

Version PostScript de cette publication

Référence BibTeX de cette publication

Page personnelle de Valérie Ménissier-Morain