Additive Symmetric: the Non-Negative Case - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Theoretical Computer Science Year : 2003

Additive Symmetric: the Non-Negative Case

Marc Daumas
  • Function : Author
Philippe Langlois


An additive symmetric b of a with respect to c satisfies c = (a+b)/2. Existence and uniqueness of such $b$ are basic properties in exact arithmetic that fail when a and b are floating point numbers and the computation of $c$ performed in IEEE-754 like arithmetic. We exhibit and prove conditions on the existence, the uniqueness and the exact correspondence of an additive symmetric when b and c have the same sign.
Fichier principal
Vignette du fichier
RR-4115.pdf (270.41 Ko) Télécharger le fichier

Dates and versions

inria-00072516 , version 1 (24-05-2006)



Marc Daumas, Philippe Langlois. Additive Symmetric: the Non-Negative Case. Theoretical Computer Science, 2003, 291 (2), pp.143-157. ⟨10.1016/S0304-3975(02)00223-2⟩. ⟨inria-00072516⟩
65 View
121 Download



Gmail Facebook X LinkedIn More