Arithmetic systems such as those based on IEEE standards currently make no attempt to track the propagation of errors. A formal error analysis, however, can be complicated and is often confined to the realm of experts in numerical analysis. In recent years there has been a resurgence of interest in automated methods for accurately monitoring the error flow. In this article a floating point system based on significance arithmetic will be described. Details of the implementation in Mathematica will be given along with examples that illustrate the design goals and differences over conventional fixed precision floating point systems.

Precise Numerical Computation / M. Sofroniou; G. Spaletta. - In: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING. - ISSN 1567-8326. - STAMPA. - 64, Issue 1:(2005), pp. 113-134. [10.1016/j.jlap.2004.07.007]

Precise Numerical Computation

SPALETTA, GIULIA
2005

Abstract

Arithmetic systems such as those based on IEEE standards currently make no attempt to track the propagation of errors. A formal error analysis, however, can be complicated and is often confined to the realm of experts in numerical analysis. In recent years there has been a resurgence of interest in automated methods for accurately monitoring the error flow. In this article a floating point system based on significance arithmetic will be described. Details of the implementation in Mathematica will be given along with examples that illustrate the design goals and differences over conventional fixed precision floating point systems.
2005
Precise Numerical Computation / M. Sofroniou; G. Spaletta. - In: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING. - ISSN 1567-8326. - STAMPA. - 64, Issue 1:(2005), pp. 113-134. [10.1016/j.jlap.2004.07.007]
M. Sofroniou; G. Spaletta
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/7607
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 16
  • ???jsp.display-item.citation.isi??? 13
social impact