Preuves et algorithmes utilisant l'arithmétique flottante normalisée IEEE

par Claire Finot-Moreau

Thèse de doctorat en Informatique

Sous la direction de Marc Daumas et de Jean-Michel Muller.

Soutenue en 2001

à Lyon, École normale supérieure (sciences) .

mots clés

• Arithmétique en virgule flottante
• Arithmétique interne des ordinateurs

Pas de résumé disponible.

Titre traduit

Algorithms and proofs using ieee standard floating point arithmetic

Pas de résumé disponible.