Skip to Main content Skip to Navigation
Other publications

SIPE: Small Integer Plus Exponent

Vincent Lefèvre 1
1 ARIC - Arithmetic and Computing
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 in radix 2. The goal of such a tool is to do proofs of algorithms/properties or computations of tight error bounds in these precisions by exhaustive tests, in order to try to generalize them to higher precisions. The currently supported operations are the addition, the subtraction, the multiplication, the FMA, and miscellaneous comparisons and conversions. Timing comparisons have been done with hardware IEEE-754 floating point and with GNU MPFR.
Complete list of metadatas
Contributor : Vincent Lefèvre <>
Submitted on : Wednesday, December 12, 2012 - 2:03:49 AM
Last modification on : Friday, April 20, 2018 - 3:44:26 PM
Document(s) archivé(s) le : Wednesday, March 13, 2013 - 3:52:00 AM


  • HAL Id : hal-00763954, version 1


Vincent Lefèvre. SIPE: Small Integer Plus Exponent. 2012. ⟨hal-00763954v1⟩



Record views


Files downloads