Skip to Main content Skip to Navigation
Conference papers

Tools for a gentle slope transition From floating point arithmetic to exact real arithmetic

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.sorbonne-universite.fr/hal-01526031
Contributor : Valérie Ménissier-Morain <>
Submitted on : Monday, May 22, 2017 - 3:26:21 PM
Last modification on : Thursday, March 21, 2019 - 1:09:50 PM
Long-term archiving on: : Wednesday, August 23, 2017 - 4:11:45 PM

File

final_version_vmm.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01526031, version 1

Citation

Valérie Ménissier-Morain. Tools for a gentle slope transition From floating point arithmetic to exact real arithmetic. Eleventh International Conference on Computability and Complexity in Analysis (CCA 2014), Jul 2014, Darmstadt, Germany. ⟨hal-01526031⟩

Share

Metrics

Record views

113

Files downloads

64