# Additive Symmetric: the Non-Negative Case

1 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : 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.
Keywords :
Document type :
Journal articles
Domain :

https://hal.inria.fr/inria-00072516
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 10:10:22 AM
Last modification on : Thursday, November 21, 2019 - 2:31:06 AM
Long-term archiving on: : Sunday, April 4, 2010 - 11:11:23 PM

### Citation

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

Record views