Section: New Software and Platforms

Sipe: a library for very low precision computations with correct rounding

Keywords: Floating-point - Correct Rounding

Sipe is a mini-library in the form of a C header file, to perform radix-2 floating-point computations in very low precisions with correct rounding, either to nearest or toward zero. 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. It is distributed under the LGPL license and mostly used internally.

• Participant: Vincent Lefèvre

• Contact: Vincent Lefèvre

• URL: https://www.vinc17.net/research/sipe/