Section: Software
SIPE: Small Integer Plus Exponent
Participant : Vincent Lefèvre.
SIPE (Small Integer Plus Exponent) is a C header file providing a fast floating-point arithmetic with correct rounding to the nearest in very small precision. Implemented operations are the addition, subtraction, multiplication, FMA, and minimum/maximum/comparison functions (of the signed numbers or in magnitude). SIPE has been written for exhaustive tests of simple algorithms in small precision in order to prove results or find conjectures (which could then be proved).
Status: alpha / License: LGPL / Programming Language: C / URL: http://www.vinc17.net/software/sipe.h