Tools for a gentle slope transition From floating point arithmetic to exact real arithmetic
Résumé
Floating point arithmetic (FPA) is one century old and is effectively used commonly since 60 years. Exact real arithmetic (ERA) appears 40 years ago and has been developed essentially since the end of the 80's resulting both of the dissatisfaction about FPA results and the sharp increase of material computing power that allows computation ambition. FPA is essentially a fixed precision arithmetic while ERA adapts the precision of each operation to ensure the desired accuracy of the result. However for a long time, we have had to choose between fast computed, completely wrong, FPA results on the one hand and accurate ERA results obtained too late to be useful on the other hand. Alternative to FPA such as interval arithmetic (IA) have been designed by mathematicians since the 50's and during the last three decades numerous tools have been designed by computer scientists to reduce the gap between FPA and ERA with two principle directions: evaluate the inaccuracy of the result and try to produce a more accurate result. We present here a survey of these tools.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...