Skip to Main content Skip to Navigation

SIPE: Small Integer Plus Exponent

Vincent Lefèvre 1
1 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : SIPE (Small Integer Plus Exponent) is a mini-library in the form of a C header file, to perform computations in very low precisions with correct rounding to nearest. The goal of such a tool is to do proofs of algorithms/properties or computations of error bounds in these precisions, in order to generalize them to higher precisions. The supported operations are the addition, the subtraction, the multiplication, the FMA, and miscellaneous comparisons and conversions.
Document type :
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download
Contributor : Vincent Lefèvre Connect in order to contact the contributor
Submitted on : Monday, December 12, 2011 - 5:42:23 AM
Last modification on : Saturday, September 11, 2021 - 3:17:26 AM
Long-term archiving on: : Tuesday, March 13, 2012 - 2:21:27 AM


Files produced by the author(s)


  • HAL Id : hal-00650659, version 1



Vincent Lefèvre. SIPE: Small Integer Plus Exponent. [Research Report] RR-7832, INRIA. 2011, pp.21. ⟨hal-00650659⟩